An Introduction to Input/Output Automata

Formal Aspects of Computing 2026 Open access

Read full text
Authors: Nancy Lynch, Mark R. Tuttle
DOI: 10.1145/3788687
Cited by: 1,020
References: 33

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. 1 , 2

Fields of Study & Subjects

Industrial Automation and Control Systems

Publication details

Journal / source
Formal Aspects of Computing
Publisher
Association for Computing Machinery (ACM)
Volume
38
Issue
3
Pages
1–22
Publication date
27 January 2026
Language
EN