Formal Aspects of Computing· 2026Q3
An Introduction to Input/Output Automata
- 1,016citations
- Q3SCImago
- 2026year
Short summary
Input/Output Automata (I/O Automata) provide a formal model for concurrent and distributed discrete event systems.
AI-generated from the title and abstract; the full text is not read.
Key points
- Introduces the Input/Output Automata (I/O Automata) model.
- The model is designed for concurrent and distributed discrete event systems.
- Examples include vending machines and leader election algorithms.
- Surveys the applications and uses of the I/O Automata model.
AI-generated from the title and abstract; the full text is not read.
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
The authors' abstract, as published at the source. Formal Aspects of Computing, 2026 · DOI ↗
Continue with a free account
Ask the paper: 3 free questions a day about this paper; save it, get its citation, new summaries every day for your field. Takeaways are Premium.
Continue free on the webSign in with Google or Apple; no card needed. You come back to this paper.
On your phone:
Field: Computational Theory and Mathematics
Computational Theory and MathematicsComputer Science