Specification of a simplified Network Service in CSP (Problem 2)
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.
KeywordsData Transmission Network Event Parallel Combinator Sequence Concatenation Unbounded Number
Unable to display preview. Download preview PDF.
- C.A.R. Hoare; Notes on Communicating Sequential Processes; Programming Research Group Technical Monograph PRG-33; Oxford, August 1983Google Scholar