Timed Process Algebras: A Tutorial

This publication has 4 references indexed in Scilit:

• A temporal calculus of communicating systems
  Published by Springer Nature ,2005
• A proof system for communicating processes with value-passing
  Formal Aspects of Computing, 1991
• Testing equivalences for processes
  Theoretical Computer Science, 1984
• Algebraic semantics
  Lecture Notes in Computer Science, 1981