A Temporal Calculus of Communicating Systems

Faron Moller and Chris Tofts

Abstract: In this paper, we introduce a calculus of
communicating systems, an extension of that discussed in [Tof89],
which allows for the expression and analysis of timing constraints,
for example as is important for real-time processes. We present the
language, along with its formal semantics, and derive algebraic
laws for reasoning about processes in the language. Though the core
language is simple, we show that the language has several powerful
derived operators which we demonstrate to be useful in several
examples.