Abstract
We generalize algebraic operational semantics from sequential languages to distributed, concurrent languages using Occam as an example. Elsewhere, we will discuss applications to the study of verification and transformation of programs.
The work of this author was partially supported by NSF grants DCR 85-03275 and CCR 89-04728.
Preview
Unable to display preview. Download preview PDF.
9 References
Blakley, R., Ph. D. Thesis, University of Michigan. (In preparation).
Börger, E., A Logical Operational Semantics for Full Prolog, these Proceedings.
Gurevich, Y., Logic and the Challenge of Computer Science. In Trends in Theoretical Computer Science (E. Börger, ed.), Computer Science Press, 1988, 1–57.
Gurevich, Y. and J. M. Morris, Algebraic Operational Semantics and Modula-2. In Proceedings, Logik in der Informatik, Springer LNCS, vol. 329, pp. 81–101.
Hoare, C. A. R., Communicating Sequential Processes, Prentice-Hall International, London, 1985.
Hoare, C. A. R. and A. W. Roscoe, The Laws of Occam Programming, Oxford University Computing Laboratory Technical Monograph PRG-53, 1986. Also appears in Theoretical Computer Science 60 (1988), pp. 177–229.
Milner, R., A Calculus of Communicating Systems, Springer LNCS vol. 92, 1980.
Pountain, D., A Tutorial Introduction to OCCAM Programming, INMOS Ltd, 1987.
Roscoe, A. W., Denotational Semantics for Occam, in S. D. Brookes, et al (eds.), Seminar on Concurrency Springer LNCS 197, 1985, 306–329.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gurevich, Y., Moss, L.S. (1990). Algebraic operational semantics and Occam. In: Börger, E., Büning, H.K., Richter, M.M. (eds) CSL '89. CSL 1989. Lecture Notes in Computer Science, vol 440. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52753-2_39
Download citation
DOI: https://doi.org/10.1007/3-540-52753-2_39
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52753-4
Online ISBN: 978-3-540-47137-0
eBook Packages: Springer Book Archive