An upward compatible timed extension to LOTOS

This publication has 6 references indexed in Scilit:

• An overview and synthesis on timed process algebras
  Published by Springer Nature ,1992
• A calculus for communicating systems with time and probabilities
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• A timed model for communicating sequential processes
  Theoretical Computer Science, 1988
• CIRCAL and the representation of communication, concurrency, and time
  ACM Transactions on Programming Languages and Systems, 1985
• Algèbre de processus et synchronisation
  Theoretical Computer Science, 1984
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983