LCS Publication Details
Publication Title: I/O AUTOMATA: A MODEL FOR DISCRETE EVENT SYSTEMS
Publication Author: Lynch, Nancy
Additional Authors:
LCS Document Number: MIT-LCS-TM-351
Publication Date: 3-1-1988
LCS Group: No Group Specified
Additional URL: No URL Given
Abstract:
The input/output automaton model has recently been defined, in [LT1,LT2,], as a tool for modeling concurrent and distributed discrete event systems of the sorts arising in computer science. Since its introduction, the model has been used for describing and reasoning about several different types of systems, including network resources allocation algorithms, communication algorithms, concurrent database systems, shared atomic objects, and dataflow architectures. The simplicity and generally of the model and its similarities with other new models [RW,CM1] suggest that it will prove useful in other application areas, such as control theory and manufacturing.
To obtain this publication:

    To purchase a printed copy of this publication please contact MIT Document Services.