Uploaded image for project: 'Education'
  1. EDU-975

Communicating Sequential Processes

    Details

    • Type: Reading
    • Status: Open
    • Priority: P3-Medium
    • Resolution: Unresolved
    • Components: Computer Science
    • Labels:
      None
    • Author:
      Tony Hoare
    • Fiction/Non-Fiction:
      Non-Fiction
    • Reading Type:
      Scholarly Article

      Description

      https://www.cs.cmu.edu/~crary/819-f09/Hoare78.pdf

      The version of CSP presented in Hoare's original 1978 paper was essentially a concurrent programming language rather than a process calculus. It had a substantially different syntax than later versions of CSP, did not possess mathematically defined semantics,[10] and was unable to represent unbounded nondeterminism.[11] Programs in the original CSP were written as a parallel composition of a fixed number of sequential processes communicating with each other strictly through synchronous message-passing. In contrast to later versions of CSP, each process was assigned an explicit name, and the source or destination of a message was defined by specifying the name of the intended sending or receiving process.

        Attachments

          Activity

            People

            • Assignee:
              matt Matt Sommer
              Reporter:
              matt Matt Sommer
            • Votes:
              0 Vote for this issue
              Watchers:
              1 Start watching this issue

              Dates

              • Created:
                Updated: