An overview and synthesis on timed process algebras

This publication has 12 references indexed in Scilit:

• A temporal calculus of communicating systems
  Published by Springer Nature ,2005
• LOTOS-like process algebras with urgent or timed interactions
  Published by Elsevier ,1992
• The formal description and verification of hardware timing
  IEEE Transactions on Computers, 1991
• CCS + time = an interleaving model for real time systems
  Published by Springer Nature ,1991
• A timed model for communicating sequential processes
  Theoretical Computer Science, 1988
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• The ESTEREL synchronous programming language and its mathematical semantics
  Lecture Notes in Computer Science, 1985
• Algèbre de processus et synchronisation
  Theoretical Computer Science, 1984
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980