Specification of a simplified Network Service in CSP (Problem 2)

  • Carroll Morgan
  • C. A. R. Hoare
4. Solutions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 207)


The specification of a simplified Network Service is given in CSP.

Because specifications of such services are notoriously difficult, it is especially pleasing that in this case the problem can be decomposed into several more easily achieved sub-specifications. This decomposition greatly improves the credibility of the overall specification.


Data Transmission Network Event Parallel Combinator Sequence Concatenation Unbounded Number 
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.


  1. [1]
    C.A.R. Hoare; Notes on Communicating Sequential Processes; Programming Research Group Technical Monograph PRG-33; Oxford, August 1983Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Carroll Morgan
    • 1
  • C. A. R. Hoare
    • 1
  1. 1.Programming Research GroupOxford

Personalised recommendations