K. Larsen, and A. Skou, "Bisimulation through probabilistic testing", Information and Computation, 94, 1991, 1--28. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Decidability Results for Parametric Probabilistic Transition.. - Lanotte, al. (Correct)
No context found.
K. Larsen, and A. Skou, "Bisimulation through probabilistic testing", Information and Computation, 94, 1991, 1--28.
Equivalence Notions and Model Minimization in - Markov Decision Processes (Correct)
No context found.
Larsen, K. G. and Skou, A. 1991. Bisimulation through probabilistic testing. In Information and Computation 94(1):128.
Symbolic Model Checking for Probabilistic Processes - Christel Baier Edmund (1997) (31 citations) (Correct)
No context found.
K. Larsen, A. Skou. Bisimulation through Probabilistic Testing. Information and Computation, 94, pp 1-28, 1991.
Simulation for Continuous-Time Markov Chains - Baier, Katoen, Hermanns.. (2002) (4 citations) (Correct)
No context found.
K.G. Larsen and A. Skou. Bisimulation through probabilistic testing. Inf. and Comp., 94(1): 1--28, 1992.
Probabilistic Models for Reo Connector Circuits - Baier (2005) (Correct)
No context found.
K. Larsen and A. Skou. Bisimulation through probabilistic testing. Information and Computation, 94(1):1--28, 1991.
Model Checking Meets Performance Evaluation - Baier, Haverkort, Hermanns.. (Correct)
No context found.
K.G. Larsen and A. Skou. Bisimulation through probabilistic testing. Inf. and Comp., 94(1): 1--28, 1992.
Model checking continuous-time Markov chains by.. - Baier, Haverkort.. (2000) (26 citations) (Correct)
No context found.
K.G. Larsen and A. Skou. Bisimulation through probabilistic testing. Inf. and Comp., 94(1): 1-28, 1992.
On Probabilistic Computation Tree Logic - Ciesinski, Größer (2003) (1 citation) (Correct)
No context found.
K. Larsen K and A. Skou. Bisimulation through probabilistic testing. Inf Comput 94, pages 128, 1991.
Compositional Reasoning for Probabilistic Finite-State.. - Deng, Palamidessi, Pang (Correct)
No context found.
K. G. Larsen and A. Skou. Bisimulation through probabilistic testing. Information and Computation, 94(1):1--28, 1991.
Partial Order Reduction For Probabilistic Branching Time - Baier, D'Argenio, Groesser (2005) (Correct)
No context found.
K. Larsen and A. Skou. Bisimulation through probabilistic testing. Information and Computation, 94(1):1--28, 1991.
Probabilistic Models for Reo Connector Circuits - Baier (2005) (Correct)
No context found.
K. Larsen and A. Skou. Bisimulation through probabilistic testing. Information and Computation, 94(1):1--28, 1991.
Trace Machines for Observing Continuous-Time Markov Chains - Wolf, Majster-Cederbaum.. (2005) (Correct)
No context found.
K. Larsen and A. Skou. Bisimulation through probabilistic testing. Information and Computation, 94(1):1--28, 1991.
Probabilistic Noninterference for Multi-threaded Programs - Andrei Sabelfeld David (1999) (46 citations) (Correct)
No context found.
K. G. Larsen and A. Skou. Bisimulation through probabilistic testing. Information and Computation, 94(1):1--28, 1991.
Metrics for Action-labelled Quantitative Transition Systems - Deng, Chothia.. (2005) (Correct)
No context found.
K. G. Larsen and A. Skou. Bisimulation through probabilistic testing. Information and Computation, 94(1):1--28, 1991.
Metrics for Action-labelled Quantitative Transition Systems - Deng, Chothia.. (2005) (Correct)
No context found.
K. G. Larsen and A. Skou. Bisimulation through probabilistic testing. Information and Computation, 94(1):1--28, 1991.
A Testing Scenario for Probabilistic Automata - Mari Elle Stoelinga (2003) (1 citation) (Correct)
No context found.
K.G. Larsen and A. Skou. Bisimulation through probabilistic testing. Information and Computation, 94:1-28, 1991.
A Probabilistic Polynomial-Time Calculus for the.. - Mitchell.. (2002) (12 citations) (Correct)
No context found.
Larsen, K. G., and Skou, A. Bisimulation through probabilistic testing. Information and Computation 94, 1 (1991), 1--28.
A Testing Scenario for Probabilistic Automata - Stoelinga (2003) (1 citation) (Correct)
No context found.
K.G. Larsen and A. Skou. Bisimulation through probabilistic testing. Information and Computation, 94:1-28, 1991.
An Introduction to Probabilistic Automata - Stoelinga (2002) (Correct)
No context found.
K.G. Larsen and A. Skou. Bisimulation through probabilistic testing. Information and Computation, 94:1--28, 1991.
Decidability Results for Parametric Probabilistic.. - Lanotte.. (2004) (Correct)
No context found.
K. Larsen, and A. Skou, "Bisimulation through probabilistic testing", Information and Computation, 94, 1991, 1--28.
Decision Algorithms for Probabilistic Bisimulation - Cattani, Segala (2002) (2 citations) (Correct)
No context found.
K. Larsen and A. Skou. Bisimulation through probabilistic testing. In Conference Record of the 16 ACM Symposium on Principles of Programming Languages, Austin, Texas, pages 344-352, 1989.
Comparing Refinements for Failure and Bisimulation Semantics - Eshuis, Fokkinga (2001) (Correct)
No context found.
K. G. Larsen and A. Skou. Bisimulation through probabilistic testing (preliminary report) . In Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, pages 344--352. ACM Press, 1989.
An Object-Oriented Approach to Formal Specification - Smith (1992) (13 citations) (Correct)
No context found.
K. Larsen and A. Skou. Bisimulation through probabilistic testing (preliminary report). In Proceedings 16th ACM Symposium on Principles of Programming Languages, pages 344--352, 1989.
Analysing Randomized Distributed Algorithms - Norman (Correct)
No context found.
K. Larsen and A. Skou. Bisimulation through probabilistic testing. Information and Computation, 94(1):1-28, 1991. Preliminary version of this paper appeared in Proc. 16th Annual ACM Symposium on Principles of Programming Languages, pages 134-352, 1989.
Some of My Favourite Results in Classic Process Algebra - Aceto (2003) (Correct)
No context found.
K. G. Larsen and A. Skou, Bisimulation through probabilistic testing, Information and Computation, 94 (1991), pp. 1--28.
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