Preview
Unable to display preview. Download preview PDF.
References
Gordon, M.J., "The Denotational Description of Programming Languages", Springer-Verlag, 1979.
Hennessy, M. and Plotkin, G.D., "Full Abstraction for a Simple Parallel Programming Language", Proc. 8th MFCS Conference, Olomouc, Czechoslovakia, Springer-Verlag Lecture Notes in Computer Science, Vol. 74, pp. 108–121, 1979.
Milne, G. and Milner, R., "Concurrent Processes and their Syntax", to appear in J.A.C.M., 1979.
Milner, R., "Synthesis of Communicating Behaviour", Proc. 7th MFCS Conference, Zakopane, Poland, Springer-Verlag Lecture Notes in Computer Science, Vol. 64, pp. 71–83, 1978.
Smyth, M., "Powerdomains", J.C.S.S. 15, Vol. 1, 1978.
Stoy, J.E., "Denotational Semantics: The Scott Strachey Approach to Programming Language Theory", MIT Press, 1977.
Plotkin, G.D., "A Powerdomain Construction", SIAM Journal on Computing 5, Vol.3, pp. 452–487, 1976.
Pnueli, A., "The Temporal Logic of Programs", Proc. 19th Annual Symposium on Foundations of Computer Science, Providence, R.I., 1977.
Pratt, V.R., "Semantical Considerations on Floyd-Hoare Logic", Proc. 17th IEEE Symp. on Foundations of Comp. Sci, pp. 109–121, 1976.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1980 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hennessy, M., Milner, R. (1980). On observing nondeterminism and concurrency. In: de Bakker, J., van Leeuwen, J. (eds) Automata, Languages and Programming. ICALP 1980. Lecture Notes in Computer Science, vol 85. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10003-2_79
Download citation
DOI: https://doi.org/10.1007/3-540-10003-2_79
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10003-4
Online ISBN: 978-3-540-39346-7
eBook Packages: Springer Book Archive