Computer Science
N. Lynch, M. Tuttle
1989.9.1FORMAL ASPECTS OF COMPUTING
tlooto Summary
The input/output automaton model is described, a model for concurrent and distributed discrete event systems for concurrent and distributed discrete event systems, and the ways in which the model has been used are surveyed.
Abstract
We describe the input/output automaton model, a model for concurrent and distributed discrete event systems. We define the model, illustrate the model with several examples concerning vending machines and a leader election algorithm, and survey the ways in which the model has been used.
Citation format
LYNCH, N.; TUTTLE, M. An introduction to input/output automata. FORMAL ASPECTS OF COMPUTING, 1989, 2: 219–246.