An Introduction to Input/Output Automata
Nancy Lynch, Mark R. Tuttle · 2026 · 1024 citationsRead the paper
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
2 ideas Seedlabs derived from this research
A specialized software verification tool that uses input/output automata to mathematically prove the correctness of vending machine state transitions, ensuring no 'deadlock' states or illegal dispense sequences occur.
AI score 69/100A software tool that uses input/output automata to mathematically prove the correctness of concurrent distributed algorithms before deployment.
AI score 54/100