Advertisement

Nondeterministic functions and the semantics of CSP

  • Hans Bekić
Selected Papers Parallelism
Part of the Lecture Notes in Computer Science book series (LNCS, volume 177)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Reference

  1. [1]
    C. A. R. Hoare, „Communicating sequential processes”. CACM 21, 8, 1978.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • Hans Bekić
    • 1
  1. 1.Wien

Personalised recommendations