Answers are grounded in this paper and cite their sources.
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.
No takes yet. Share an insight, caveat, or question.
Lynch et al. (2026) studied this question.