1 hasil

An Introduction to Input/Output Automata

Nancy Ann Lynch; Mark R. Tuttle

Formal Aspects of Computing · 2026 · Inggris · OpenAlex Scopus

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