Lynch, N., Tuttle, M.: An Introduction to Input/Output Automata. CWI Quarterly 2 (1989) 219--246 Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Combining Aspects of Reactive Systems - Leonid Kof And (Correct)
An Attack Surface Metric - Pratyusa Manadhata And (2005) (Correct)
Probabilistic Models for Reo Connector Circuits - Baier (2005) (Correct)
Probabilistic Models for Reo Connector Circuits - Baier (2005) (Correct)
Notes On The Design Of An Internet Adversary - David Rosenthal Petros (Correct)
Error Specification, Monitoring and Recovery in Computer.. - Manufacturing An Analytic (Correct)
Formal Verification of Communication Protocol Using Type.. - Zhang, Xie, Munro, al. (2003) (Correct)
Concurrent Program Design in the Extended Theory of Owicki and .. - Goldson, Dongol (2005) (Correct)
Verifying Distributed Algorithms via Dynamic Analysis and.. - Win, Ernst (2002) (1 citation) (Correct)
Project IST-1999-11583 - Malicious- And Accidental-Fault (Correct)
Unknown - Building Responsive Systems (1993) (Correct)
An Ounce of Prevention is Worth a Pound of Cure - Towards Physically-Correct.. (1994) (Correct)
Discrete Timed Automata and MONA: Description, Specification.. - Gomez, Bowman (2003) (Correct)
Automatic Generation of Program Specifications - Nimmer, Ernst (2002) (4 citations) (Correct)
Static verification of dynamically detected program.. - Nimmer, Ernst (2001) (11 citations) (Correct)
An Introduction to Probabilistic Automata - Stoelinga (2002) (Correct)
The Concurrency Column - Aceto (Correct)
Integrated Notation for Software Architecture Specifications - Bastarrica, Ochoa, Rossel (Correct)
An Object-Oriented Approach to Formal Specification - Smith (1992) (13 citations) (Correct)
Notes on the Design of an Internet Adversary - Rosenthal, Maniatis.. (Correct)
A Distributed Policy-based Network Management (PBNM) System.. - Sheridan-Smith (2003) (Correct)
Verification of a Biphase Mark Protocol - Ivanov, Griffioen (1999) (2 citations) (Correct)
Formal Specification and Verification of the.. - Layouni, Hooman, Tahar (2003) (Correct)
Studies in Computer Aided Verification of Protocols - Griffioen (2000) (Correct)
Notes On The Design Of An Internet Adversary - David Rosenthal Petros (Correct)
Information-Intensive Proof Technology - Constable (2003) (Correct)
Predicate Abstraction - Das (2003) (Correct)
Byzantine Disk Paxos: Optimal Resilience with.. - Abraham, Chockler.. (2004) (Correct)
Verifying Distributed Algorithms via Dynamic Analysis and.. - Win, Ernst (2002) (1 citation) (Correct)
Total Order Broadcast and Multicast Algorithms: Taxonomy.. - Défago, Schiper, Urbán (2003) (3 citations) (Correct)
A Client-Server Approach to Virtually Synchronous Group.. - Keidar, Khazan (1999) (10 citations) (Correct)
On Testing Partially Specified IOTS through Lossless Queues - Le Huo, Petrenko (2004) (Correct)
Register Transfer Leven Simulation - Baclet, Pacalet, Petit (2004) (Correct)
I/O Automaton Models and Proofs for Shared-Key Communication.. - Nancy Lynch Mit (Correct)
I/O Automaton Model of Operating System Primitives - Lynch, Luchangco, Seltzer (1999) (Correct)
Modeling Component Connectors in Reo by Constraint Automata - Baier, Sirjani, Arbab.. (2004) Self-citation (Automata) (Correct)
Modeling Component Connectors in Reo by Constraint.. - Arbab, Baier, Rutten.. (2004) Self-citation (Automata) (Correct)
Service Discovery and Component Reuse with Semantic.. - Sanders, Bræk.. (2005) Self-citation (Sanders) (Correct)
Switched Probabilistic I/O Automata - Ling Cheung Nancy Self-citation (Lynch) (Correct)
Team Automata for Security Analysis - Beek, Lenzini, al. Self-citation (Automata) (Correct)
Dynamic Input/Output Automata: a Formal Model for Dynamic Systems - Attie, Lynch (2003) Self-citation (Lynch Output) (Correct)
Verifying Timing Properties of Concurrent Algorithms - Victor Luchangco Ekrem (1995) (7 citations) Self-citation (Lynch) (Correct)
Using Simulated Execution in Verifying Distributed.. - Win, Ernst, Garland.. (2004) (3 citations) Self-citation (Lynch) (Correct)
Modeling Component Connectors in Reo by Constraint Automata - Arbab, Baier, Rutten.. (2003) Self-citation (Automata) (Correct)
Compositionality for Probabilistic Automata - Nancy Lynch Roberto (2003) Self-citation (Automata) (Correct)
Timed I/O Automata: A Mathematical Framework for.. - Kaynar, Lynch.. Self-citation (Automata) (Correct)
Control Automata Ling Cheung - Nancy Lynch Roberto Self-citation (Lynch) (Correct)
An Inheritance-Based Technique for Building.. - Keidar, Khazan.. (2000) (4 citations) Self-citation (Lynch) (Correct)
Compositionality for Probabilistic Automata - Lynch, Segala, Vaandrager (2003) Self-citation (Automata) (Correct)
Team Automata for Security Analysis of.. - Beek, Lenzini, Petrocchi Self-citation (Automata) (Correct)
First 50 documents Next 50
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