Time-constrained Automata

  title={Time-constrained Automata},
  author={Michael MerrittAT},
  • Michael MerrittAT
  • Published 1991
In this paper we augment the input output automaton model in order to reason about time in concurrent systems and we prove simple properties of this augmen tation The input output automata model is a useful model for reasoning about computation in concurrent and distributed systems because it allows fundamental properties such as fairness and compositionality to be expressed easily and naturally A unique property of the model is that systems are modeled as the composition of autonomous… CONTINUE READING
Highly Cited
This paper has 17 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…