Skip to main content
Article thumbnail
Location of Repository

The IOA Simulator

By Dilsun Kirh Kaynar, Anna Chefter, Laura Dean, Stephen Garland, Nancy Lynch, Toh Ne Win, Antonio Ramírez-Robredo and Dean Is Employed Oryxa

Abstract

IOA is a high-level distributed programming language based on the formal I/O automaton model for asynchronous concurrent systems. A suite of software tools, called the IOA toolkit, has been designed and partially implemented to facilitate the analysis and verification of systems using techniques supported by the formal model. This paper introduces the IOA simulator which is a part of the IOA toolkit

Year: 2002
OAI identifier: oai:CiteSeerX.psu:10.1.1.19.2447
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.lcs.mit.edu/publica... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.