“Using I/O automata for developing distributed systems”

Stephen J. Garland and Nancy A. Lynch,

Foundations of Component-Based Systems, Gary T. Leavens and Murali Sitaraman (editors), pages 285–312, Cambridge University Press, 2000.

This paper describes a new experimental programming language, IOA, for modeling and implementing distributed systems, plus designs for a set of tools to support IOA programming. The language and tools are based on the I/O automaton model for reactive systems, which has been used extensively for research on distributed algorithms. The langauge supports structured modeling of distributed systems using shared-action composition and levels of abstraction. The tools are intended to support system design, several kinds of analysis, and generation of efficient runnable code.

Back to Publications of Stephen J. Garland