Discrete time process algebra: absolute time, relative time and parametric time

Completeness of timed #CRL

Fundamenta Informaticae

Time and Probability in Process Algebra

AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology

Coordination by Timers for Channel-Based Anonymous Communications

Electronic Notes in Theoretical Computer Science (ENTCS)

Timed migration and interaction with access permissions

FM'11 Proceedings of the 17th international conference on Formal methods

Behavioural equivalences over migrating processes with timers

FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems

Completeness of Timed μCRL

Fundamenta Informaticae