K. Larsen, and A. Skou, "Bisimulation through probabilistic testing", Information and Computation, 94, 1991, 1--28. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Decidability Results for Parametric Probabilistic Transition.. - Lanotte, al. (Correct)
Equivalence Notions and Model Minimization in - Markov Decision Processes (Correct)
Symbolic Model Checking for Probabilistic Processes - Christel Baier Edmund (1997) (31 citations) (Correct)
Simulation for Continuous-Time Markov Chains - Baier, Katoen, Hermanns.. (2002) (4 citations) (Correct)
Probabilistic Models for Reo Connector Circuits - Baier (2005) (Correct)
Model Checking Meets Performance Evaluation - Baier, Haverkort, Hermanns.. (Correct)
Model checking continuous-time Markov chains by.. - Baier, Haverkort.. (2000) (26 citations) (Correct)
On Probabilistic Computation Tree Logic - Ciesinski, Größer (2003) (1 citation) (Correct)
Compositional Reasoning for Probabilistic Finite-State.. - Deng, Palamidessi, Pang (Correct)
Partial Order Reduction For Probabilistic Branching Time - Baier, D'Argenio, Groesser (2005) (Correct)
Probabilistic Models for Reo Connector Circuits - Baier (2005) (Correct)
Trace Machines for Observing Continuous-Time Markov Chains - Wolf, Majster-Cederbaum.. (2005) (Correct)
Probabilistic Noninterference for Multi-threaded Programs - Andrei Sabelfeld David (1999) (46 citations) (Correct)
Metrics for Action-labelled Quantitative Transition Systems - Deng, Chothia.. (2005) (Correct)
Metrics for Action-labelled Quantitative Transition Systems - Deng, Chothia.. (2005) (Correct)
A Testing Scenario for Probabilistic Automata - Mari Elle Stoelinga (2003) (1 citation) (Correct)
A Probabilistic Polynomial-Time Calculus for the.. - Mitchell.. (2002) (12 citations) (Correct)
A Testing Scenario for Probabilistic Automata - Stoelinga (2003) (1 citation) (Correct)
An Introduction to Probabilistic Automata - Stoelinga (2002) (Correct)
Decidability Results for Parametric Probabilistic.. - Lanotte.. (2004) (Correct)
Decision Algorithms for Probabilistic Bisimulation - Cattani, Segala (2002) (2 citations) (Correct)
Comparing Refinements for Failure and Bisimulation Semantics - Eshuis, Fokkinga (2001) (Correct)
An Object-Oriented Approach to Formal Specification - Smith (1992) (13 citations) (Correct)
Analysing Randomized Distributed Algorithms - Norman (Correct)
Some of My Favourite Results in Classic Process Algebra - Aceto (2003) (Correct)
Metric Denotational Semantics for - Pepa Marta Kwiatkowska (Correct)
Testing for Simulation and Bisimulation in Labelled .. - van Breugel.. (2003) (Correct)
On the use of MTBDDs for performability analysis.. - Hermanns.. (2002) (2 citations) (Correct)
Modular Construction of Modal Logics - Corina Crstea And (Correct)
Comparing Refinements for Failure and Bisimulation Semantics - Eshuis, Fokkinga (1999) (Correct)
Probabilistic Automata: System Types, Parallel Composition.. - Sokolova, de Vink (Correct)
Axioms for Probability and Nondeterminism - Mislove, Ouaknine, Worrell (2003) (Correct)
Weak Bisimulation for Action-Type Coalgebras - Sokolova, de Vink, Woracek (Correct)
Metric Semantics for Reactive Probabilistic Processes - Norman (1997) (7 citations) (Correct)
A Fully Abstract Metric-Space Denotational Semantics for.. - Kwiatkowska, Norman (1998) (3 citations) (Correct)
Decision Algorithms for Probabilistic Bisimulation - Cattani, Segala (2002) (2 citations) (Correct)
Probabilistic Metric Semantics for a Simple Language with.. - Kwiatkowska, Norman (1996) (14 citations) (Correct)
Modular Construction of Modal Logics - Corina Crstea And (Correct)
Confidentiality for Multithreaded Programs via Bisimulation - Sabelfeld (Correct)
A Hierarchy of Probabilistic System Types - Falk Bartels Ana (2003) (4 citations) (Correct)
Time and Probability in Process Algebra - Suzana Andova Department (2000) (Correct)
Quantitative Relations and Approximate Process Equivalences - Di Pierro, Hankin, Wiklicky (2003) (1 citation) (Correct)
A Testing Scenario for Probabilistic Automata - Marielle Stoelinga And (2003) (1 citation) (Correct)
Equivalences on Observable Processes - Ulidowski (1992) (10 citations) (Correct)
Probabilistic Bisimulation and Equivalence for.. - Ramanathan.. (2004) (6 citations) (Correct)
Alea jacta est - Verification of Probabilistic, Real-Time and.. - Stoelinga (2002) (Correct)
Introduo ao -calculus Modal - Mtodos De Programao (Correct)
Duality for Labelled Markov Processes - Michael Mislove Joel (Correct)
Model Checking for Probabilistic Timed Systems - Sproston (Correct)
Process Algebra with Probabilistic Choice - Andova (1999) (21 citations) (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