Variable binding operators in transition system specifications
 »

Revisiting timing in process algebra
 »

Operational conservativity with binding terms
 »

A new equivalence for processes with timing
 »

Process algebra with timing
Timing issues are of growing importance for the conceptualization and design ofcomputerbased systems. Timing may simply be essential for the correctbehaviour... »

Process algebra nonstandard timing
 »

Real time process algebra with time-dependent conditions
 »

Continuity controlled hybrid automata
 »

Process algebra for hybrid systems
 »

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