An asynchronous process algebra with multiple clocks

This publication has 16 references indexed in Scilit:

• Real-time behaviour of asynchronous agents
  Published by Springer Nature ,2005
• Hybrid Systems: the SIGNAL approach
  Published by Springer Nature ,1993
• On the ill-timed but well-caused
  Published by Springer Nature ,1993
• Behavioural abstraction in TCCS
  Published by Springer Nature ,1992
• The theory of timed automata
  Published by Springer Nature ,1992
• Timed process algebras with urgent interactions and a unique powerful binary operator
  Published by Springer Nature ,1992
• A complete axiomatisation for observational congruence of finite-state behaviours
  Information and Computation, 1989
• Reliable High-Speed Arbitration and Synchronization
  IEEE Transactions on Computers, 1987
• The ESTEREL synchronous programming language and its mathematical semantics
  Lecture Notes in Computer Science, 1985
• A complete inference system for a class of regular behaviours
  Journal of Computer and System Sciences, 1984