This is a preview of subscription content, log in via an institution.
References
Roscoe, A. W.: Denotational Semantics for occam, July 1984 NSF/SERG Seminar on Concurrency, CMU, Springer Verlag LNCS 197.
Roscoe, A. W.: and C. A. R. Hoare: The Laws of occam Programming, PRG monograph PRG-53.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Goldsmith, M., Cox, A., Barrett, G. (1987). An algebraic transformation system for occam programs. In: Brandenburg, F.J., Vidal-Naquet, G., Wirsing, M. (eds) STACS 87. STACS 1987. Lecture Notes in Computer Science, vol 247. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0039636
Download citation
DOI: https://doi.org/10.1007/BFb0039636
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17219-2
Online ISBN: 978-3-540-47419-7
eBook Packages: Springer Book Archive