Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala  Home/Search
Context Related
| berkeley.edu/~deal...bilisticModules.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: berkeley.edu/~dealfaro/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a compositional trace-based model for probabilistic systems. The behavior of a system with probabilistic choice is a stochastic process, namely, a probability distribution on traces, or "bundle." Consequently, the semantics of a system with both nondeterministic and probabilistic choice is a set of bundles. The bundles of a composite system can be obtained by combining the bundles of the components in a simple mathematical way. Re nement between systems is bundle containment. We... (Update)
Cited by: More
Basic Research in Computer Science - Probabilistic Event Structures (Correct)
An Introduction to Probabilistic Automata - Stoelinga (2002) (Correct)
Switched Probabilistic I/O Automata - Ling Cheung Nancy (Correct)
Similar documents (at the sentence level):
61.3%: Compositional Methods for Probabilistic Systems - de Alfaro, Henzinger, Jhala (2001) (Correct)
Active bibliography (related documents): More All
0.1: Analysing Randomized Distributed Algorithms - Norman (Correct)
0.1: Probabilistic Simulations for Probabilistic Processes - Segala, Lynch (1994) (Correct)
0.1: Domains of View: A Foundation for Specification and Analysis - Huth (2000) (Correct)
Similar documents based on text: More All
0.6: Counterexample-guided Control - Henzinger, Jhala, Majumdar (2003) (Correct)
0.5: Abstractions from Proofs - Thomas Henzinger Ranjit (2004) (Correct)
0.5: Race Checking by Context Inference - Henzinger, Jhala, Majumdar (2004) (Correct)
Related documents from co-citation: More All
9: Probabilistic simulations for probabilistic processes - Segala, Lynch - 1994
8: Time and Probability in Formal Design of Distributed Systems (context) - Hansson - 1991
7: Modeling and Verification of Randomized Distributed Real-Time Systems (context) - Segala - 1995
BibTeX entry: (Update)
Luca de Alfaro, Thomas A. Henzinger, and Ranjit Jhala. Compositional methods for probabilistic systems. In Proc. 12th CONCUR, 2001. http://citeseer.ist.psu.edu/article/dealfaro01compositional.html More
@article{ dealfaro01compositional,
author = "Luca de Alfaro and Thomas A. Henzinger and Ranjit Jhala",
title = "Compositional Methods for Probabilistic Systems",
journal = "Lecture Notes in Computer Science",
volume = "2154",
pages = "351+",
year = "2001",
url = "citeseer.ist.psu.edu/article/dealfaro01compositional.html" }
Citations (may not include all citations):718 Distributed Algorithms (context) - Lynch - 1996
174 Probabilistic simulations for probabilistic processes - Segala, Lynch - 1994
129 Model checking of probabilistic and nondeterministic systems - Bianco, de Alfaro - 1995
82 Finite State Markovian Decision Processes (context) - Derman - 1970
68 Specifying concurrent program modules (context) - Lamport - 1993
46 Proofs of networks of processes (context) - Misra, Chandy - 1981
45 Programming Languages and Systems (context) - Abadi, Lamport et al. - 1995
45 Formal Methods in System Design (context) - Alur, Henzinger - 1999
41 Modeling and Verication of Randomized Distributed Real-Time .. (context) - Segala - 1995
31 Automatic verication of probabilistic concurrent nite-state .. (context) - Vardi - 1985
28 Trace Theory for Automatic Hierarchical Verication of Speedi.. (context) - Dill - 1989
25 Symbolic model checking of concurrent probabilistic processe.. - de Alfaro, Kwiatkowska et al. - 2000
17 Stochastic transition systems - de Alfaro - 1998
12 A compositional rule for hardware design renement (context) - McMillan - 1997
9 Specication and renement of probabilistic processes (context) - Jonsson, Larsen - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-cad.eecs.berkeley.edu/~dealfaro/papers.html): More
How to Specify and Verify the Long-Run Average Behavior of.. - de Alfaro (1998) (Correct)
Concurrent Reachability Games - de Alfaro, Henzinger, Kupferman (1998) (Correct)
Concurrent Reachability Games - de Alfaro, Henzinger, Kupferman (1998) (Correct)
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