Behavioural abstraction in TCCS

This publication has 7 references indexed in Scilit:

• A temporal calculus of communicating systems
  Published by Springer Nature ,2005
• An overview of TCCS
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1992
• Real time process algebra
  Formal Aspects of Computing, 1991
• Relating processes with respect to speed
  Published by Springer Nature ,1991
• Process Algebra as a Tool for Real Time Analysis
  Published by Springer Nature ,1991
• A timed model for communicating sequential processes
  Lecture Notes in Computer Science, 1986
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983