Example 3: Communication network

  • Ib Holm Sørensen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 134)


Schedule Packet Incoming Packet Single Connection Outgoing Connection Program Research Group 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

List of References

  1. [1]
    I.H. Sørensen: ‘A Specification Language’ Included paper.Google Scholar
  2. [2]
    I.H. Sørensen: 'specification and design of Distributed Systems’ D.Phil Thesis from the University of Oxford, September 1981.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • Ib Holm Sørensen
    • 1
  1. 1.Programming Research GroupOxford UniversityUK

Personalised recommendations