1. Real time process algebra;Baeten;Form. Asp. Comput.,1991
2. Discrete time process algebra with abstraction;Baeten,1995
3. Discrete time process algebra with silent step;Baeten,2000
4. Process Algebra with Timing;Baeten,2002
5. A new equivalence for processes with timing;Baeten,2002