155

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

108

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

201

Process Algebra
– J Baeten, W P Weijland
 1990

105

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

360

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

1966

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

Realtime behaviour of asynchronous agents
– W Yi
 1990

172

A temporal calculus of communicating systems
– F Moller, C M N Tofts
 1990

60

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

31

A Conservative Look at Operational Semantics with Variable Binding
– Wan Fokkink, Chris Verhoef
 1998

3204

Communication and Concurrency
– R Milner
 1989
