Real-time calculi and expansion theorems

This publication has 6 references indexed in Scilit:

• Decidability of bisimulation equivalences for parallel timer processes
  Published by Springer Nature ,1993
• Deciding properties of regular real timed processes
  Published by Springer Nature ,1992
• From ATP to timed graphs and hybrid systems
  Published by Springer Nature ,1992
• CCS + time = an interleaving model for real time systems
  Published by Springer Nature ,1991
• Timing assumptions and verification of finite-state concurrent systems
  Published by Springer Nature ,1990
• A calculus for communicating systems with time and probabilities
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990