|
Algebraic Specification and Proof of Properties of
Communicating Sequential Processes
C A R Hoare and
He Jifeng
November 1985, 72 pages,
ISBN 0-902928-33-3
A mail 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.
|
![[Oxford Spires]](/im/spires.gif){kind=small}
oucl