DocumentCode
1665791
Title
Axiomatization of trace semantics for stochastic nondeterministic processes
Author
Parma, Augusto ; Segala, Roberto
Author_Institution
Dipt. di Informatica, Univ. di Verona, Italy
fYear
2004
Firstpage
294
Lastpage
303
Abstract
We give a complete axiomatization of trace distribution precongruence for probabilistic nondeterministic processes based on a process algebra that includes internal behavior and recursion. The axiomatization is given for two different semantics of the process algebra that are consistent with the alternating model of Hansson and the nonalternating model of Segala, respectively. It is shown that the two semantics coincide up to trace distribution precongruence.
Keywords
probabilistic automata; probabilistic logic; process algebra; programming language semantics; stochastic automata; stochastic processes; axiomatization method; probabilistic nondeterministic process; process algebra; stochastic process; trace distribution precongruence; trace semantics; Algebra; Algorithm design and analysis; Automata; Computer science; Performance analysis; Polynomials; Processor scheduling; Stochastic processes; Stochastic systems; Testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings. First International Conference on the
Print_ISBN
0-7695-2185-1
Type
conf
DOI
10.1109/QEST.2004.1348043
Filename
1348043
Link To Document