Key points are not available for this paper at this time.
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.
Lynch et al. (Tue,) studied this question.