Axiomatising finite delay operators

A CSS semantics for NIL

IBM Journal of Research and Development

Liveness and Fairness in Process-Algebraic Verification

CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory

Embedding untimed into timed process algebra: the case for explicit termination

Mathematical Structures in Computer Science

How To Interpret And Establish Consistency Results For Semantics Of Concurrent Programming Languages

Fundamenta Informaticae