Advertisement

An algebraic transformation system for occam programs

  • M. Goldsmith
  • A. Cox
  • G. Barrett
Systems Demonstrations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 247)

References

  1. [1]
    Roscoe, A. W.: Denotational Semantics for occam, July 1984 NSF/SERG Seminar on Concurrency, CMU, Springer Verlag LNCS 197.Google Scholar
  2. [2]
    Roscoe, A. W.: and C. A. R. Hoare: The Laws of occam Programming, PRG monograph PRG-53.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • M. Goldsmith
    • 1
  • A. Cox
    • 1
  • G. Barrett
    • 1
  1. 1.Oxford University Computing Laboratory Programming Research GroupOxfordUK

Personalised recommendations