Action transducers and timed automata

This publication has 15 references indexed in Scilit:

• Automata for modeling real-time systems
  Published by Springer Nature ,2005
• Compositionality through an operational semantics of contexts
  Published by Springer Nature ,2005
• A temporal calculus of communicating systems
  Published by Springer Nature ,2005
• On the relationship between process algebra and input/output automata
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• From ATP to timed graphs and hybrid systems
  Published by Springer Nature ,1992
• Forward and backward simulations for timing-based systems
  Published by Springer Nature ,1992
• An old-fashioned recipe for real time
  Published by Springer Nature ,1992
• Real time process algebra
  Formal Aspects of Computing, 1991
• Time-constrained automata
  Published by Springer Nature ,1991
• A timed model for communicating sequential processes
  Theoretical Computer Science, 1988