ALGEBRAIC SPECIFICATION AND PROOF OF PROPERTIES OF COMMUNICATING SEQUENTIAL PROCESSES
C.A.R.Hoare and Jifeng He
Abstract
A small service is a communications medium which can reorder messages between postage and delivery. This paper investigates the algebraic properties of such a service, using the mathematical theory of communicating sequential processes.
Institution
OUCL
Month
November
Number
PRG52
Pages
76
Year
1985