Timing issues are important for the conceptualization and design of computer-based systems. This text presents four algebraic theories about processes, each dea... » 

Timing issues are important for the conceptualization and design of computer-based systems. This text presents four algebraic theories about processes, each dealing with timing from a different point of view. All theories presented are extensions of the algebra of communicating processes. «