A MATHEMATICAL THEORY OF SYNCHRONOUS COMMUNICATION
Janet E. Barnes
Abstract
A mathematical theory of synchronous communication is presented. The process algebra SCSP shares many of its constructors with Hoare’s Communication Sequential Processes. It models components of a distributed system as processes evolving in lockstep. A synchronous variant SRPT of Josephs’ Receptive Process Theory, which distinguishes between input and output events in its model of communication, is also investigated.
Institution
OUCL
Month
January
Number
PRG112
Pages
201
Year
1993