Probabilistic Automata: System Types, Parallel Composition and Comparison

Probabilistic Automata: System Types, Parallel Composition and Comparison (2004)

Cached

Download Links

[www.ics.ele.tue.nl]
[www.liacs.nl]
[www.win.tue.nl]

Other Repositories/Bibliography

DBLP

by A. Sokolova , E. P. De Vink

Venue:	In Validation of Stochastic Systems: A Guide to Current Research
Citations:	22 - 5 self

BibTeX

@INPROCEEDINGS{Sokolova04probabilisticautomata:,
    author = {A. Sokolova and E. P. De Vink},
    title = {Probabilistic Automata: System Types, Parallel Composition and Comparison},
    booktitle = {In Validation of Stochastic Systems: A Guide to Current Research},
    year = {2004},
    pages = {1--43},
    publisher = {Springer}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

We survey various notions of probabilistic automata and probabilistic bisimulation, accumulating in an expressiveness hierarchy of probabilistic system types. The aim of this paper is twofold: On the one hand it provides an overview of existing types of probabilistic systems and, on the other hand, it explains the relationship between these models.

Citations

3118	Communicating sequential processes - Hoare - 1978
620	Finite Markov Chains - Kemeny, Snell - 1976
523	A Compositional Approach to Performance Modelling - Hillston - 1996
421	Categories for the working mathematician - MacLane - 1971
371	A.: Bisimulation through Probabilistic Testing - Larsen, Skou - 1991
233	N.A.: Probabilistic simulations for probabilistic processes - Segala, Lynch - 1994
213	A tutorial on (co)algebras and (co)induction - Jacobs, Rutten - 1997
207	1985], ‘Algebra of communicating processes with abstraction’, Theoretical Computer Science 37 - Bergstra, Klop
190	Modeling and Verification of Randomized Distributed Real-Time Systems - Segala - 1995
190	Automatic verification of probabilistic concurrent finite-state systems - Vardi - 1985
172	Model checking of probabilistic and nondeterministic systems - Bianco, Alfaro - 1995
144	Reactive, generative, and stratified models of probabilistic processes - Glabbeek, Smolka, et al. - 1990
141	Time and probability in formal design of distributed systems - Hansson - 1991
133	Probabilistic automata - Rabin - 1963
129	The complexity of probabilistic verification - Courcoubetis, Yannakakis - 1995
115	Finite State Markovian Decision Processes - Derman - 1970
115	Dynamic Probabilistic Systems - Howard - 1971
90	Formal Verification of Probabilistic Systems - Alfaro - 1997
90	K.: Stochastic automata network for modeling parallel systems - Plateau, Atif - 1991
89	Algebraic reasoning for probabilistic concurrent systems - Giacalone, Jou, et al. - 1990
82	A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time. Theor Comput Sci 202(1–2):1–54 - Bernando, Gorrieri - 1998
79	Specification and refinement of probabilistic processes - Jonsson, Larsen - 1991
73	Interactive Markov Chains - Hermanns - 1998
69	Equivalences, congruences, and complete axiomatizations for probabilistic processes - Jou, Smolka - 1990
69	Bisimulation for probabilistic transition systems: A coalgebraic approach - Vink, Rutten - 1999
66	Axiomatizing probabilistic processes: ACP with generative probabilities - Baeten, Bergstra, et al. - 1995
63	Model checking continuous-time Markov chains by transient analysis - Baier, Haverkort, et al. - 2000
54	W.: Probabilistic extensions of process algebras - Jonsson, Larsen, et al. - 2001
50	Testing preorders for probabilistic processes - Cleaveland, Dayar, et al. - 1999
48	Verification of multiprocess probabilistic protocols - Pnueli, Zuck - 1986
47	E.W.: Composition and behaviors of probabilistic I/O automata - Wu, Smolka, et al. - 1997
46	Compositional testing preorders for probabilistic processes - Jonsson, Yi - 1995
45	Markovian process algebra: composition and equivalence - Buchholz - 1994
41	On algorithmic verification methods for probabilistic systems - Baier - 1998
40	Testing equivalences and fully abstract models for probabilistic processes - Christoff - 1990
40	A logic for reasoning about time and reliability. Formal Aspects of Computing 6(5 - Hansson, Jonsson - 1994
39	Axiomatizations for probabilistic bisimulation - Bandini, Segala - 2001
39	K.G.: Reachability analysis of probabilistic systems by successive refinements - D’Argenio, Jeannet, et al. - 2001
38	Universal coalgebra: A theory of systems, Theoret - Rutten
37	Compositional Verification of Probabilistic Processes - Larsen, Skou - 1992
35	On generative parallel composition - D’Argenio, Hermanns, et al. - 1999
33	A hierarchy of probabilistic system types. Theoretical Computer Science, 327:3–22, 2004. sets. 3 In topology, a Gδ set is a countable intersection of open sets and a Fσ set in a countable union of closed - Bartels, Sokolova, et al.
33	Algebras and Automata for Timed and Stochastic Systems - D’Argenio - 1999
31	Theory and application of extended Markovian process algebra - Bernardo - 1999
29	A logic characterization of bisimulation for labeled Markov processes - Desharnais, Edalat, et al. - 1998
25	Process algebra with probabilistic choice - Andova - 1999
25	Coalgebraic logic, Annals of Pure and Applied Logic 96 - Moss - 1999
23	Probabilistic and Prioritized Models of Timed CSP - Lowe - 1995
21	Deciding Bisimilarity and Similarity for Probabilistic Processes - Baier, Engelen, et al. - 2000
20	Compositional methods for probabilistic systems - Alfaro, Henzinger, et al. - 2001