The algebra of communicating processes with empty process

Axiomatizing GSOS with Termination

STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science

Precongruence Formats for Decorated Trace Preorders

LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science

Precongruence formats for decorated trace semantics

ACM Transactions on Computational Logic (TOCL)

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

Mathematical Structures in Computer Science

A menagerie of non-finitely based process semantics over BPA* - from ready simulation to completed traces

Mathematical Structures in Computer Science

Decomposition orders: another generalisation of the fundamental theorem of arithmetic

Theoretical Computer Science - Process algebra

Automatic Enforcement of Security in Computer Networks

Proceedings of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07

Timing the untimed: terminating successfully while being conservative

Processes, Terms and Cycles

A Process Calculus with Finitary Comprehended Terms

Theory of Computing Systems