Lynch, N., Tuttle, M.: An Introduction to Input/Output Automata. CWI Quarterly 2 (1989) 219--246 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Modeling Component Connectors in Reo by Constraint Automata - Baier, Sirjani, Arbab.. (2004) Self-citation (Automata) (Correct)
No context found.
N. Lynch and M.R. Tuttle. An introduction to input/output automata. CWI Quarterly, 2(3):219--246, 1989.
Modeling Component Connectors in Reo by Constraint.. - Arbab, Baier, Rutten.. (2004) Self-citation (Automata) (Correct)
No context found.
Lynch, N. and M. Tuttle, An introduction to input/output automata, CWI Quarterly 2 (1989), pp. 219--246.
Service Discovery and Component Reuse with Semantic.. - Sanders, Bræk.. (2005) Self-citation (Sanders) (Correct)
No context found.
Lynch, N.A. and Tuttle, M.R.: An introduction to input/output automata. CWI Quarterly, 2(3), 1989, 219--246. R.T. Sanders et al.
Switched Probabilistic I/O Automata - Ling Cheung Nancy Self-citation (Lynch) (Correct)
No context found.
N.A. Lynch and M.R. Tuttle. An introduction to input/output automata. CWI Quarterly, 2(3):219--246, September 1989.
Team Automata for Security Analysis - Beek, Lenzini, al. Self-citation (Automata) (Correct)
No context found.
N.A. Lynch and M.R. Tuttle. An Introduction to Input/Output Automata. CWI Quarterly, 2(3):219--246, 1989.
Combining Aspects of Reactive Systems - Leonid Kof And (Correct)
No context found.
Lynch, N., Tuttle, M.: An Introduction to Input/Output Automata. CWI Quarterly 2 (1989) 219--246
An Attack Surface Metric - Pratyusa Manadhata And (2005) (Correct)
No context found.
N. Lynch and M. Tuttle, "An introduction to Input/Output automata," CWI-Quarterly, 2(3):219--246, September 1989.
Probabilistic Models for Reo Connector Circuits - Baier (2005) (Correct)
No context found.
N. Lynch and M.R. Tuttle. An introduction to input/output automata. CWI Quarterly, 2(3):219--246, 1989.
Probabilistic Models for Reo Connector Circuits - Baier (2005) (Correct)
No context found.
N. Lynch and M.R. Tuttle. An introduction to input/output automata. CWI Quarterly, 2(3):219--246, 1989.
Notes On The Design Of An Internet Adversary - David Rosenthal Petros (Correct)
No context found.
Nancy Lynch and Mark Tuttle. An Introduction to Input/Output automata. CWIQuarterly, 2(3):219--246, September 1989.
Error Specification, Monitoring and Recovery in Computer.. - Manufacturing An Analytic (Correct)
No context found.
Lynch, N. and Tuttle, M. R., "An Introduction to Input /Output Automata", CWI Quarterly, 2(3), pp. 219246.
Formal Verification of Communication Protocol Using Type.. - Zhang, Xie, Munro, al. (2003) (Correct)
No context found.
N. Lynch and M. Tuttle, "An introduction to Input/Output automata," CWI-Quarterly, vol. 2, no. 3, pp. 219--246, 1989.
Concurrent Program Design in the Extended Theory of Owicki and .. - Goldson, Dongol (2005) (Correct)
No context found.
Lynch, N. & Tuttle, M. (1989), `An introduction to input/output automata', CWI-Quarterly 2(3), 219--246.
Verifying Distributed Algorithms via Dynamic Analysis and.. - Win, Ernst (2002) (1 citation) (Correct)
No context found.
Nancy A. Lynch and Mark R. Tuttle. An introduction to Input/Output automata. CWI-Quarterly, 2(3):219-246, September 1989.
Project IST-1999-11583 - Malicious- And Accidental-Fault (Correct)
No context found.
N. A. Lynch and M. R. Tuttle, "An introduction to input/output automata," CWI Quaterly, vol. 2, pp. 219--246, Sept. 1989.
Unknown - Building Responsive Systems (1993) (Correct)
No context found.
Nancy Lynch and Mark Tuttle. "An introduction to Input/Output Automata." Technical Report MIT/LCS/TM-373, MIT, Cambridge, Massachusetts, November 1988.
An Ounce of Prevention is Worth a Pound of Cure - Towards Physically-Correct.. (1994) (Correct)
No context found.
Nancy Lynch and Mark Tuttle. An introduction to Input/Output Automata. Technical Report MIT/LCS/TM-373, MIT, Cambridge, Massachusetts, November 1988.
Discrete Timed Automata and MONA: Description, Specification.. - Gomez, Bowman (2003) (Correct)
No context found.
Lynch, N., Tuttle, M.: An introduction to input/output automata. CWI Quaterly 2 (1989) 219--246
Automatic Generation of Program Specifications - Nimmer, Ernst (2002) (4 citations) (Correct)
No context found.
Nancy A. Lynch and Mark R. Tuttle. An introduction to Input /Output automata. CWI-Quarterly, 2(3):219--246, September 1989.
Static verification of dynamically detected program.. - Nimmer, Ernst (2001) (11 citations) (Correct)
No context found.
Nancy A. Lynch and Mark R. Tuttle. An introduction to Input/Output automata. CWI-Quarterly, 2(3):219-246, September 1989.
An Introduction to Probabilistic Automata - Stoelinga (2002) (Correct)
No context found.
N.A. Lynch and M.R. Tuttle. An introduction to input/output automata. CWI Quarterly, 2(3):219-- 246, September 1989.
The Concurrency Column - Aceto (Correct)
No context found.
N. Lynch and M. Tuttle. An Introduction to Input/Output automata. CWI-Quarterly, 2(3):219--246, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands, 1989.
Integrated Notation for Software Architecture Specifications - Bastarrica, Ochoa, Rossel (Correct)
No context found.
Nancy Lynch and Mark Tuttle. An Introduction to Input/Output Automata. CWI Quart, 2(3):219-246, 1989.
An Object-Oriented Approach to Formal Specification - Smith (1992) (13 citations) (Correct)
No context found.
N. Lynch and M. Tuttle. An introduction to Input/Output Automata. CWI Quarterly, 2(3):219--246, September 1989.
Notes on the Design of an Internet Adversary - Rosenthal, Maniatis.. (Correct)
No context found.
Nancy Lynch and Mark Tuttle. An Introduction to Input/Output automata. CWIQuarterly, 2(3):219--246, September 1989.
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