Preview
Unable to display preview. Download preview PDF.
References
Brinch Hansen, P. (1978), Distributed Processes: A Concurrent Programming Concept. Comm. ACM 21, 11, pp. 934–940.
Egli, H. (1975): A Mathematical Model for Nondeterministic Computation.
Hennessy, M.C.B. and Ashcroft, E.A. (1979): A Mathematical Semantics for a Nondeterministic Typed λ-calculus. To appear.
Hoare, C.A.R. (1978): Communicating Sequential Processes. Comm. ACM 21, 8, pp. 666–677.
Mac Lane, S. (1971): Categories for the Working Mathematician. Berlin, Springer Verlag.
Milne, G.J. and Milner, R. (1977): Concurrent processes and their syntax. To appear in the J.A.C.M.
Milner, R. (1977): Fully Abstract Models of Typed λ-calculi. T.C.S.
Plotkin, G.D. (1976): A Powerdomain Construction. SIAM Journal on Computing 5, 3, pp. 452–487.
Plotkin, G.D. (1977): LCF Considered as a Programming Language. T.C.S. 5, pp. 223–255.
Smyth, M. (1978): Powerdomains. J.C.S.S. 16, 1.
Smyth, M. and Plotkin, G.D. (1978): The Category Theoretic Solution of Recursive Domain Equations. University of Edinburgh: D.A.I. Research Report No 60.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1979 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hennessy, M.C.B., Plotkin, G.D. (1979). Full abstraction for a simple parallel programming language. In: Bečvář, J. (eds) Mathematical Foundations of Computer Science 1979. MFCS 1979. Lecture Notes in Computer Science, vol 74. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-09526-8_8
Download citation
DOI: https://doi.org/10.1007/3-540-09526-8_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09526-2
Online ISBN: 978-3-540-35088-0
eBook Packages: Springer Book Archive