155

Termination in Timed Process Algebra
– J.C.M. Baeten, M.A. Reniers
 2000

109

A Congruence Theorem for Structured Operational Semantics With Predicates
– J.C.M. Baeten, C. Verhoef
 1993

5

The ABP and CABP – a comparison of performances in real time process algebra
– J A Hillebrand
 1994

203

Process Algebra
– J C M Baeten, W P Weijland
 1990

108

The Algebra of Timed Processes ATP: Theory and Application
– Xavier Nicollin , Joseph Sifakis
 1994

36

A general conservative extension theorem in process algebra
– Pedro R. D’Argenio, Chris Verhoef
 1994

19

Variable binding operators in transition system specifications
– C. A. Middelburg
 2001

27

Process algebra with timing: real time and discrete time
– J. C. M. Baeten, C. A. Middelburg
 2001

364

Process algebra for synchronous communication
– J. A. Bergstra, J. W. Klop
 1984

1975

A theory of timed automata
– Rajeev Alur
 1999

2

Completeness in realtime process algebra
– A S Klusener
 1991

3

The algebra of recursively de processes and the algebra of regular processes
– J A Bergstra, J W Klop
 1984

13

Discrete time process algebra: Absolute time, relative time and parametric time
– J C M Baeten, J A Bergstra
 1997

26

An interleaving model for realtime systems
– L Chen
 1992

61

The Algebra of Recursively Defined Processes and the Algebra of Regular Processes
– J A Bergstra, J W Klop
 1984

3219

Communication and Concurrency
– R Milner
 1990

1330

A Calculus of Communicating Systems
– R Milner
 1980

3407

Communicating Sequential Processes
– C. A. R. Hoare
 2004

62

Realtime behaviour of asynchronous agents
– W Yi
 1990
