Skip to main content
SpringerLink
Log in
Book cover

Theoretical Computer Science 4th GI Conference pp 27–35Cite as

An algebraic theory for synchronization

  • Hauptvorträge
  • Conference paper
  • First Online:

  • 122 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 67))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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.

    Article  Google Scholar 

  2. P.J. Landin, "The mechanical evaluation of expressions", Computer Journal 6,4,1964, pp308–320.

    Google Scholar 

  3. G.J. Milne, "A mathematical model of concurrent computation", Ph.D. Thesis, CST-4-78, Computer Science Dept, Edinburgh University, 1977.

    Google Scholar 

  4. 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.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. R. Milner, "Flowgraphs and flow algebras", CSR-5-77, Computer Science Dept, Edinburgh University, 1977. (submitted for publication).

    Google Scholar 

  7. R. Milner, "Synthesis of communicating behaviour", Proc. 7th MFCS Symposium (Zakopane, Poland), Lecture Notes in Computer Science 64, Springer Verlag, 1978, pp 71–83.

    Google Scholar 

  8. 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.

    Google Scholar 

  9. C.A. Petri, "Nichtsequentielle Prozesse", Interner Bericht 76-6, GMD, Bonn, 1976.

    Google Scholar 

Download references

Authors
  1. R. Milner
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

K. Weihrauch

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation