We study several process equivalences on a probabilistic process algebra. First, we define an operational semantics. Afterwards we introduce the notion of passing a test with a probability. We consider three families of tests according to the intended behavior of an external observer: Reactive (sequential tests), generative (branching tests), and limited generative (equitable branching tests). For each of these families we define three predicates over processes and tests (may-pass, must-pass, pass p ) which induce three equivalences. Finally, we relate these nine equivalences and provide either alternative characterizations or fully abstract denotational semantics. These semantic frameworks cover from simple traces to probabilistic acceptance trees. © 2008 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Núñez, M., & Llana, L. (2008). A hierarchy of equivalences for probabilistic processes. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5048 LNCS, pp. 267–282). https://doi.org/10.1007/978-3-540-68855-6_17
Mendeley helps you to discover research relevant for your work.