This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Hoare, C.A.R., Communicating Sequential Processes, Queen's Univ., Belfast, 1976, submitted to CACM.
Milne, Robert, The semantics of one version of CSP, notes distributed at the Aarhus Workshop on Semantics of Concurrent Programming, June 1977.
Hoare, C.A.R., A relational trace-oriented Semantics for Communicating Sequential Processes, ibid.
Milner, Robin, & G. Milne, Concurrent Processes and their Syntax, Univ. of Edinburgh, 1977.
Kahn, G., The Semantics of a Simple Language for parallel programming, IFIP, 1974.
Clint, M., Program proving: Coroutines, Acta Informatica, Vol. 2, No. 1, 1973, 50–63.
Owicki, Susan, and Gries, David, An axiomatic proof technique for parallel programs I, Acta Informatica 6, 319–340, 1976.
Dijkstra, Edsger W., A discipline of programming, Prentice Hall, Burroughs-Nuenen, 1976.
Dijkstra, Edsger W., et al. An elephant inspired by the Dutch National Flag, EWD 608; see also EWD 607; Burroughs-Nuenen, 1977.
Egli, Herbert, A mathematical model for nondeterministic computations, Technological University, Zurich, 1975.
Plotkin, Gordon D., A power domain construction, Siam J. Comput., Vol. 5, No. 3, September 1976.
Smyth, M., Effectively given domains, Univ. of Warwick, 1976.
DeBakker, J.W., Semantics and termination of nondeterministic recursive programs, Proc. 3rd coll. Automata, Languages and Programming, Edinb. Univ. Press, 1976.
Goguen, J. Abstract Errors for Abstract Data Types, Proc. IFIP Working Conference on Formal Description of Programming Concepts, 31 July to August 1977, New Brunswick.
Milner, Robin, Two operations on trees, in same as (2).
Scott, D. and Strachey, C., Towards a mathematical semantics for computer languages, Proc. Symp. on Computers and Automata, Microwave Research Institute 21, 1971.
Scott, D. Outline of mathematical theory of computation, Proc. 4th Princeton Conf. on Info. Sci. and Sys., 1970.
Smyth, M. Power domains, Dept. of Comp. Sci., Univ. of Warwick, 1976.
Milner, R. Processes: A mathematical model of computing agents, Logic Colloquium 1973, N. Holland, Amsterdam, 1973.
Brinch Hansen, P. The programming language Concurrent Pascal, IEEE Trans. on Software Eng. 1, 2, pp. 199–207, 1975.
Hoare, C.A.R. Monitors: An operating systems structuring concept, CACM 17, 10, pp. 549–557, 1974.
Francez, N. The analysis of cyclic programs, Ph.D. thesis, Dept. of Applied Math., the Weizman Institute of Science, Rehorat, Israel, July 1976. (To appear in Acta Informatica)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1978 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Francez, N., Hoare, C.A.R., de Roever, W.P. (1978). Semantics of nondeterminism, concurrency and communication. In: Winkowski, J. (eds) Mathematical Foundations of Computer Science 1978. MFCS 1978. Lecture Notes in Computer Science, vol 64. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08921-7_67
Download citation
DOI: https://doi.org/10.1007/3-540-08921-7_67
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08921-6
Online ISBN: 978-3-540-35757-5
eBook Packages: Springer Book Archive