LCS Publication Details
Publication Title: AN INTRODUCTION TO INPUT/OUTPUT AUTOMATA
Publication Author: Lynch, Nancy A.
Additional Authors: Tuttle, Mark R.
LCS Document Number: MIT-LCS-TM-373 (TM-351 Revised)
Publication Date: 11-1-1988
LCS Group: No Group Specified
Additional URL: No URL Given
Abstract:
The input/output automaton model has recently been defined, in [L T 1, 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 resource allocation algorithms, communication algorithms, concurrent database systems, shared atomic objects, and dataflow architectures.
To obtain this publication:

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