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.


Previous | Index | Next