Advertisement

A CSP solution to the "trains" problem

  • A. W. Roscoe
4. Solutions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 207)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [B]
    S.D. Brookes, A Model for Communicating Sequential Processes, Oxford D.Phil Thesis (1983) (available as a Carnegie-Mellon Tech. Report).Google Scholar
  2. [BR]
    S.D. Brookes and A.W. Roscoe, An Improved Failure-set Model for Communicating Processes, To appear.Google Scholar
  3. [H]
    C.A.R. Hoare, A Model for Communicating Sequential Processes, Tech. Report PRG-22, Oxford University Programming Research Group.Google Scholar
  4. [HBR]
    C.A.R. Hoare, S.D. Brookes and A.W. Roscoe, A Theory of Communicating Sequential Processes, Tech. Report PRG-16, Oxford University Programming Research Group. (To appear in an extended form in JACM, also presently available as a CMU Tech. Report.)Google Scholar
  5. [R]
    A.W. Roscoe, A Mathematical Theory of Communicating Processes, Oxford D. Phil Thesis (1982).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • A. W. Roscoe
    • 1
  1. 1.Programming Research GroupUniversity of OxfordUK

Personalised recommendations