Preview
Unable to display preview. Download preview PDF.
References
J. Backus, "Can programming be liberated from the von Neumann style? A functional style and its algebra of programs", C.ACM 21,8,1978,pp613–641.
P.J. Landin, "The mechanical evaluation of expressions", Computer Journal 6,4,1964, pp308–320.
G.J. Milne, "A mathematical model of concurrent computation", Ph.D. Thesis, CST-4-78, Computer Science Dept, Edinburgh University, 1977.
G.J. Milne, "Scheduling within a process model of computation", to appear in Proc. 1st European Conference on Parallel and Distributed Processing, Toulouse, France, Feb. 1979.
G.J. Milne and R. Milner, "Concurrent processes and their syntax", to appear in J.ACM, 1979. Also CSR-2-77, Computer Science Dept, Edinburgh University, 1977.
R. Milner, "Flowgraphs and flow algebras", CSR-5-77, Computer Science Dept, Edinburgh University, 1977. (submitted for publication).
R. Milner, "Synthesis of communicating behaviour", Proc. 7th MFCS Symposium (Zakopane, Poland), Lecture Notes in Computer Science 64, Springer Verlag, 1978, pp 71–83.
R. Milner, "Algebras for communicating systems", Proc AFCET/SMF Joint Colloquium in Applied Mathematics (Palaiseau, France), 1978. Also CSR-25-78, Computer Science Dept, Edinburgh University, 1978.
C.A. Petri, "Nichtsequentielle Prozesse", Interner Bericht 76-6, GMD, Bonn, 1976.
Editor information
Rights and permissions
Copyright information
© 1979 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Milner, R. (1979). An algebraic theory for synchronization. In: Weihrauch, K. (eds) Theoretical Computer Science 4th GI Conference. Lecture Notes in Computer Science, vol 67. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-09118-1_4
Download citation
DOI: https://doi.org/10.1007/3-540-09118-1_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09118-9
Online ISBN: 978-3-540-35517-5
eBook Packages: Springer Book Archive