Advertisement

Synthesis of communicating behaviour

  • Robin Milner
Invited Lectures
Part of the Lecture Notes in Computer Science book series (LNCS, volume 64)

Keywords

Behaviour Expression Output Port Input Port Behaviour Operator Free Algebra 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    E.W. Dijkstra, "A discipline of programming", Prentice Hall, 1976.Google Scholar
  2. 2.
    C.A.R. Hoare, "Communicating Sequential Processes", Computer Science Dept, Queen's University, Belfast, 1976.Google Scholar
  3. 3.
    A. Mazurkiewicz, "Concurrent Program Schemes and their Interpretations", Workshop on Verification of Parallel Processes, Aarhus, Denmark, 1977.Google Scholar
  4. 4.
    G. Milne and R. Milner, "Concurrent Processes and their Syntax", CSR-2-77, Computer Science Dept, University of Edinburgh, 1977. (to appear in J.ACM).Google Scholar
  5. 5.
    R. Milner, "Flowgraphs and Flow Algebras", CSR-5-77, Computer Science Dept, University of Edinburgh, 1977. (submitted for publication).Google Scholar
  6. 6.
    C.A. Petri, "Nichtsequentielle Prozesse", Interner Bericht 76-6, GMD, Bonn, 1976.Google Scholar
  7. 7.
    D.S. Scott, "The Lattice of Flow Diagrams", Symposium on the Semantics of Algorithmic Languages, ed. E. Engeler, Lecture Notes in Computer Science 188, Springer-Verlag, 1971.Google Scholar
  8. 8.
    J. Winkowski, "An Algebraic characterization of the Behaviour of Non-sequential Systems", Information Processing Letters, 6,4,1977.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1978

Authors and Affiliations

  • Robin Milner
    • 1
  1. 1.University of EdinburghUK

Personalised recommendations