Stephen J. Garland, Nancy A. Lynch, Mandana Vaziri  Home/Search
Context Related
| mit.edu/tds/ioamanual.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mit.edu/tds/reflist (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this document allude to potential changes in this document, as well as in the IOA language. Additional details concerning the formal semantics of IOA, plus references to papers about IOA, will be incorporated into this document (Update)
Context of citations to this paper: More
.... trace inclusion between timed I O automata through a timed re nement [16, 17, 19] The I O automata are presented in the IOA language [5]. The high level I O automaton in our veri cation was originally untimed, so we have added a harmless time passage action to turn it into...
.... inclusion between timed I O automata through a timed refinement [17, 18, 20] The I O automata are presented in the IOA language [5]. The high level I O automaton in our verification was originally untimed, so we have added a harmless time passage action to turn it into a...
Cited by: More
A Timed Verification of the IEEE 1394 Leader Election Protocol - Romijn (2001) (Correct)
Similar documents (at the sentence level):
24.7%: IOA: A Language for Specifying, Programming, and.. - Garland, Lynch, Vaziri (1997) (Correct)
Active bibliography (related documents): More All
0.3: Label algebras and exception handling - Gilles Bernot Pascale (Correct)
0.3: Foundations for a Combination of Heterogeneous.. - Salaün, Allemand.. (2002) (Correct)
0.1: Verifiable Code Generation from Abstract I/O Automata Models for.. - Tauber (2001) (Correct)
Similar documents based on text: More All
1.2: The IOA Language and Toolset: Support for Mathematics-Based.. - Garland, Lynch (1998) (Correct)
1.2: Using I/O Automata for Developing Distributed Systems - Garland, Lynch (Correct)
1.1: The IOA Language and Toolset: Support for Designing.. - Garland, Lynch (1998) (Correct)
Related documents from co-citation: More All
2: Draft Standard for a High Performance Serial Bus (Supplement (context) - Society - 1999
2: An introduction to input/output automata (context) - Lynch, Tuttle - 1988
2: Forward and Backward Simulations, II: Timingbased Systems (context) - Lynch, Vaandrager - 1996
BibTeX entry: (Update)
Garland, S., N. Lynch, and M. Vaziri: 1997, `IOA: A Language for Specifying, Programming, and Validating Distributed Systems'. Available through URL http://larch.lcs.mit.edu:8001/~garland/ioaLanguage.html. http://citeseer.ist.psu.edu/garland97ioa.html More
@misc{ garland97ioa,
author = "S. J. Garland and N. A. Lynch and M. Vaziri",
title = "{IOA}: {A} Language for Specifiying, Programming, and Validating Distributed Systems",
year = "1997",
url = "citeseer.ist.psu.edu/garland97ioa.html" }
Citations (may not include all citations):718 Distributed Algorithms (context) - Lynch - 1996
370 A Mathematical Introduction to Logic (context) - Enderton - 1972
293 Hierarchical correctness proofs for distributed algorithms - Lynch, Tuttle - 1987
195 Parallel Program Design (context) - Chandy, Misra - 1988
102 Design and Validation of Computer Protocols (context) - Holzmann - 1991
49 Fundamentals of Algebraic Speci cation 1: Equations and Init.. (context) - Ehrig, Mahr - 1985
46 Larch: Languages and Tools for Formal Speci cation (context) - Guttag, Horning - 1993
32 Final algebra semantics and data type extensions (context) - Wand - 1979
20 An initial algebra approach to the speci cation (context) - Goguen, Thatcher et al. - 1978
8 an Approach to the State Explosion Problem (context) - McMillan, Checking - 1992
6 Computer-assisted simulation proofs - rgen, Sogaard-Andersen et al. - 1993
3 un langage pour le developpement de speci cations algebri.. (context) - Bidoit - 1989
2 Computer Aided Veri cation (context) - Owre, Rajan et al. - 1996
1 Updated version available as httpwww (context) - Garland, guide et al. - 1991
Documents on the same site (http://www.toc.lcs.mit.edu/tds/reflist.html): More
Proving Performance Properties (even Probabilistic Ones) - Lynch (1994) (Correct)
A Steady State Analysis of Diffracting Trees (Extended Abstract) - Shavit, al. (Correct)
A Process Algebraic View of I/O Automata - Segala (1992) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC