R. Milner. An algebraic definition of simulation between programs. In Proc. 2nd International Joint Conference on Artificial Intelligence, pages 481--489. British Computer Society, September 1971. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
From Trace Sets to Modal-Transition Systems by Stepwise Abstract.. - Schmidt (2001) (1 citation) (Correct)
An Application of Abstraction and Induction Techniques to.. - Miller, Calder (2003) (Correct)
Characteristic Formulae for Timed Automata - Aceto.. (2000) (1 citation) (Correct)
Invariants, Bisimulations and the Correctness of Coalgebraic.. - Jacobs (1997) (Correct)
Abstraction as the Key for Invariant Verification - Bensalem, Graf, Lakhnech (Correct)
An Application of Abstraction and Induction Techniques to.. - Miller, Calder (Correct)
Ownership: Transfer, Sharing, and Encapsulation - Banerjee, Naumann (Correct)
Semantic and Syntactic Approaches to Simulation Relations - Hannay, Katsumata, Sannella (2003) (Correct)
An Entailment for Reasoning on the Web - Bry, Schaffert (2003) (1 citation) (Correct)
On Object Systems and Behavioral Inheritance - Harel, Kupferman (2002) (2 citations) (Correct)
Toward Component-Oriented Formal Software Development.. - Bidoit, Sannella.. (Correct)
Eternity Variables to Simulate Specifications - Hesselink (2002) (Correct)
Global Development via Local Observational Construction Steps - Bidoit, Sannella, Tarlecki (2002) (1 citation) (Correct)
Forward and Backward Simulations - Part I: Untimed Systems - Lynch, Vaandrager (1995) (54 citations) (Correct)
Property Preserving Abstractions for the.. - Loiseaux, Graf.. (1995) (82 citations) (Correct)
Ameliorating the State Space Explosion Problem - Namjoshi (1998) (3 citations) (Correct)
From Asymmetry to Full Symmetry: New Techniques for Symmetry .. - Emerson, Trefler (1999) (11 citations) (Correct)
Eternity Variables to Simulate Specifications - Hesselink (2002) (Correct)
The Common Fragment of CTL and LTL - Maidl (2000) (4 citations) (Correct)
Efficient Detection of Vacuity in Temporal Model Checking - Beer, Ben-David, Eisner.. (2001) (5 citations) (Correct)
From Asymmetry to Full Symmetry: New Techniques for Symmetry .. - Emerson, Trefler (1999) (11 citations) (Correct)
Syntactic Program Transformations for Automatic Abstraction - Namjoshi, Kurshan (2000) (41 citations) (Correct)
An Assume-Guarantee Rule for Checking Simulation - Henzinger, Qadeer, Rajamani, .. (1998) (5 citations) (Correct)
Branching vs. Linear Time: Final Showdown - Vardi (2001) (1 citation) (Correct)
Checking for Language Inclusion Using Simulation Preorders - Dill, Hu, Wong-Toi (1991) (33 citations) (Correct)
Data Abstraction and Information Hiding - Leino, Nelson (2000) (6 citations) (Correct)
2-Nested Simulation is not Finitely Equationally.. - Aceto, Fokkink.. (2000) (Correct)
Verification of Open Systems - Vardi (1997) (1 citation) (Correct)
An Assume-Guarantee Rule For Checking Simulation - Henzinger, Qadeer, Rajamani, .. (1998) (5 citations) (Correct)
"Have I written enough properties?" - A method of comparison.. - Katz, Grumberg (1999) (Correct)
Handling Semi-Structured Data through an Extended.. - Guerrini, Merlo, Mesiti (Correct)
Verification of Open Systems - Orna Kupferman Hebrew (Correct)
Games in System Design and Verification - Thomas Henzinger Epfl (Correct)
Treewidth in Verification: Local vs. Global - Ferrara, Pan, Vardi (Correct)
Safety Verification of Hybrid Systems by Constraint.. - Ratschan, She (Correct)
Three-Valued Abstractions of Games: Uncertainty, but.. - de Alfaro, Godefroid, .. (2004) (Correct)
Three-Valued Abstractions of Games: Uncertainty, but.. - de Alfaro, Godefroid, .. (2004) (Correct)
Equivalence-Based Reductions and checking for preorders - Bustan (2002) (Correct)
Behavioral Substitutability in Component Frameworks: A.. - Moisan, Ressouche.. (2003) (3 citations) (Correct)
Constructing Büchi Automata from Linear Temporal Logic Using.. - Fritz (2003) (Correct)
Toward Component-Oriented Formal Software Development.. - Bidoit, Sannella.. (Correct)
Toward Component-Oriented Formal Software Development.. - Bidoit, Sannella.. (2004) (Correct)
Universal Extensions to Simulate Specifications - Wim Hesselink Th (2004) (Correct)
Interface Automata - de Alfaro, Henzinger (2001) (22 citations) (Correct)
Pre-logical Relations - Honsell, Sannella (1999) (12 citations) (Correct)
The Early Search for Tractable Ways of Reasoning About Programs - Jones (2003) (Correct)
State Space Reductions for Alternating Büchi Automata.. - Fritz, Wilke (2002) (Correct)
Synchronous and Bidirectional Component Interfaces - Chakrabarti, de Alfaro.. (2002) (2 citations) (Correct)
Proof Principles for Datatypes with Iterated Recursion - Hensel, Jacobs (1997) (10 citations) (Correct)
2-Nested Simulation is not Finitely Equationally Axiomatizable - Aceto, al. (2000) (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