Formal Aspects of Computing· 2026Q3
An Introduction to Input/Output Automata
- 1,020citations
- Q3SCImago
- 2026year
Short summary
This paper introduces the Input/Output Automaton (I/O automaton) model, a formal framework designed for specifying and reasoning about concurrent and distributed discrete event systems.
AI-generated from the title and abstract; the full text is not read.
TakeawaysIn the app
Key pointsIn the app
Ask the paperIn the app
The rest is in the Pofolia app
Takeaways, key points and questions to the paper; new summaries every day for your field. Free.
Sign in on the web to openField: Control and Systems Engineering
Control and Systems EngineeringEngineering