An Axiomatization of Probabilistic Testing

An Axiomatization of Probabilistic Testing (1999)

Cached

Download Links

[dalila.sip.ucm.es]

Other Repositories/Bibliography

DBLP

by Manuel Núñez

Citations:

2 - 1 self

BibTeX

@MISC{Núñez99anaxiomatization,
    author = {Manuel Núñez},
    title = {An Axiomatization of Probabilistic Testing},
    year = {1999}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

In this paper we present a sound and complete axiom system for a probabilistic process algebra with recursion. Soundness and completeness of the axiomatization is given with respect to the testing semantics defined in [19].

Citations

374	Algebraic theory of processes - Hennessy - 1988
371	A.: Bisimulation through Probabilistic Testing - Larsen, Skou - 1991
363	M.: Testing Equivalences for Processes - Nicola, Hennessy - 1984
144	Reactive, generative, and stratified models of probabilistic processes - Glabbeek, Smolka, et al. - 1990
89	Algebraic reasoning for probabilistic concurrent systems - Giacalone, Jou, et al. - 1990
69	Equivalences, congruences, and complete axiomatizations for probabilistic processes - Jou, Smolka - 1990
66	Axiomatizing probabilistic processes: ACP with generative probabilities - Baeten, Bergstra, et al. - 1995
57	K.G.: Testing probabilistic and nondeterministic processes - Yi, Larsen - 1992
51	H.: Weak bisimulation for fully probabilistic processes - Baier, Hermanns - 1997
50	Testing preorders for probabilistic processes - Cleaveland, Dayar, et al. - 1999
40	Testing equivalences and fully abstract models for probabilistic processes - Christoff - 1990
37	Compositional Verification of Probabilistic Processes - Larsen, Skou - 1992
35	On generative parallel composition - D’Argenio, Hermanns, et al. - 1999
23	Probabilistic and Prioritized Models of Timed CSP - Lowe - 1995
20	A synchronous calculus of relative frequencies - Tofts
20	Fully abstract characterizations of testing preorders for probabilistic processes - Yuen, Cleaveland, et al.
19	Acceptance trees for probabilistic processes - N'unez, Frutos, et al. - 1995
18	A complete axiom system for finite-state probabilistic processes - Stark, Smolka - 2000
11	Testing semantics for probabilistic LOTOS - N'unez, Frutos - 1995
9	Denotational semantics for probabilistic refusal testing - Gregorio-Rodrígez, Núñez
8	A sound and complete proof system for probabilistic processes - Cuartero, Frutos, et al. - 1997
6	S.Smolka. A theory of testing for soft real-time processes - Cleaveland, Lewis - 1996
5	Testing semantics for a probabilistic-timed process algebra - Gregorio, Llana, et al. - 1997
3	Sem'anticas de Pruebas para ' Algebras de Procesos Probabil'isticos - N'unez - 1996