An algebraic theory of multiple clocks

This publication has 14 references indexed in Scilit:

• A temporal calculus of communicating systems
  Published by Springer Nature ,2005
• Verification of an active control system using temporal process algebra
  Engineering with Computers, 1996
• The NCSU Concurrency Workbench
  Published by Springer Nature ,1996
• A Process Algebra for Timed Systems
  Information and Computation, 1995
• The Algebra of Timed Processes, ATP: Theory and Application
  Information and Computation, 1994
• An asynchronous process algebra with multiple clocks
  Published by Springer Nature ,1994
• The Esterel synchronous programming language: design, semantics, implementation
  Science of Computer Programming, 1992
• Reliable High-Speed Arbitration and Synchronization
  IEEE Transactions on Computers, 1987
• A complete inference system for a class of regular behaviours
  Journal of Computer and System Sciences, 1984
• Testing equivalences for processes
  Theoretical Computer Science, 1984