Refinement of Time

This publication has 11 references indexed in Scilit:

• A theory of timed automata
  Published by Elsevier ,2002
• Action transducers and timed automata
  Formal Aspects of Computing, 1996
• Forward and Backward Simulations
  Information and Computation, 1996
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• Functional specification of time-sensitive communicating systems
  ACM Transactions on Software Engineering and Methodology, 1993
• The expressive power of indeterminate dataflow primitives
  Information and Computation, 1992
• Real time process algebra
  Formal Aspects of Computing, 1991
• A proof of the Kahn principle for input/output automata
  Information and Computation, 1989
• Hierarchical correctness proofs for distributed algorithms
  Published by Association for Computing Machinery (ACM) ,1987
• On the semantics of fair parallelism
  Published by Springer Nature ,1980