Merge and termination in process algebra

Termination, deadlock, and divergence

Journal of the ACM (JACM)

Decomposition orders: another generalisation of the fundamental theorem of arithmetic

Theoretical Computer Science - Process algebra

SOS formats and meta-theory: 20 years after

Theoretical Computer Science

A ground-complete axiomatisation of finite-state processes in a generic process algebra

Mathematical Structures in Computer Science

A Hierarchy of SOS Rule Formats

Electronic Notes in Theoretical Computer Science (ENTCS)

Timing the untimed: terminating successfully while being conservative

Processes, Terms and Cycles

A Process Calculus with Finitary Comprehended Terms

Theory of Computing Systems