Skip to main content


eCommons@Cornell

eCommons@Cornell >
College of Engineering >
Computer Science >
Computer Science Technical Reports >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1813/7514
Title: A Proof Technique for Communicating Sequential Processes(With an Example)
Authors: Levin, Gary Marc
Keywords: computer science
technical report
Issue Date: Nov-1979
Publisher: Cornell University
Citation: http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR79-401
Abstract: We present proof rules for an extension of the Communicating Sequential Processes proposed by Hoare. The send and receive statements are treated symmetrically, simplifying the rules and allowing send to appear in guards. An example is given to explain the use of the technique. This is an outline of a substantial part of a PhD thesis that is expected to be completed in June 1980.
URI: http://hdl.handle.net/1813/7514
Appears in Collections:Computer Science Technical Reports

Files in This Item:

File Description SizeFormat
79-401.pdf1.29 MBAdobe PDFView/Open
79-401.ps402.25 kBPostscriptView/Open

Refworks Export

Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.

 

© 2014 Cornell University Library Contact Us