- Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing) J. C. M. Baeten M. A. Reniers Wed 04 July 2012
- A Process Algebra for Timed Systems M. Hennessy T. Regan Wed 04 July 2012
- Discrete-Time Process Algebra Jan Joris Vereijken Wed 04 July 2012
Library Size: 13G (3 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
