Implementing Asynchronous Distributed Systems Using the IOA Toolkit

This document is a report about the capabilities and performance of the IOA Toolkit, and in particularthe tools that provide support for implementing and running distributed systems (checker,composer, code generator). The Toolkit compiles distributed systems specified in IOA into Javaclasses, which...

Full description

Bibliographic Details
Main Authors: Georgiou, Chryssis, Mavrommatis, Panayiotis P., Tauber, Joshua A.
Other Authors: Theory of Computation
Language:en_US
Published: 2005
Online Access:http://hdl.handle.net/1721.1/30412