Nancy Lynch and Frits Vaandrager. Forward and backward simulations -- Part I: Untimed systems. Information and Computation, 121(2), 1995. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
A Verification Environment for I/O Automata - Müller (1998) (Correct)
Concise Graphs and Functional Bisimulations - Cheung, Hughes (Correct)
A Static Analysis for Instance-based Confinement in Java - Banerjee, Naumann (1 citation) (Correct)
Systematic Verification of Safety Properties of.. - Bradley, Bestavros.. (2003) (Correct)
Robust Declassification - Zdancewic, Myers (2001) (15 citations) (Correct)
Systematic Verification of Safety Properties of.. - Bradley, Bestavros.. (2003) (Correct)
A Static Analysis for Instance-based Confinement in Java - Banerjee, Naumann (1 citation) (Correct)
On Modular Pluggable Analyses Using Set Interfaces - Lam, Kuncak, Rinard (2003) (Correct)
On Modular Pluggable Analyses Using Set Interfaces - Lam, Kuncak, Rinard (2003) (Correct)
Verifying Distributed Algorithms via Dynamic Analysis and.. - Win, Ernst (2002) (1 citation) (Correct)
Safe Compositional Specification of Networking Systems - Azer Bestavros Adam (2004) (Correct)
Unknown - (Correct)
Verifying Distributed Algorithms via Dynamic Analysis and.. - Win, Ernst (2002) (1 citation) (Correct)
Safe Compositional Specification of Networking Systems - Azer Bestavros Adam (2004) (Correct)
Turing Machines, Transition Systems, and Interaction - Goldin, Smolka, al. (2004) (1 citation) (Correct)
Safe Compositional Specification of Networking Systems - Azer Bestavros Adam (2004) (Correct)
On Modular Pluggable Analyses Using Set Interfaces - Lam, Kuncak, Rinard (2003) (Correct)
On the Borowsky-Gafni Simulation Algorithm (Extended Abstract) - Lynch, Rajsbaum (1996) (Correct)
Verifiable Code Generation from Abstract I/O Automata Models for.. - Tauber (2001) (Correct)
Nomadic π-Calculi: Expressing and Verifying Communication.. - Unyapoth (2001) (Correct)
Dynamic Input/Output Automata: a Formal Model for Dynamic Systems - Attie, Lynch (2003) Self-citation (Lynch) (Correct)
Using Simulated Execution in Verifying Distributed.. - Win, Ernst, Garland.. (2004) (3 citations) Self-citation (Lynch) (Correct)
The BG Distributed Simulation Algorithm - Borowsky, Gafni, al. (1997) (11 citations) Self-citation (Lynch) (Correct)
Formal Verification of TCP and T/TCP - Smith (1997) Self-citation (Lynch) (Correct)
Formal Verification of TCP and T/TCP - Smith (1997) Self-citation (Lynch) (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