loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
The Quantitative Evaluation of Systems, First International Conference on (QEST'04)
Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes
Enschede, the Netherlands
September 27-September 30
ISBN: 0-7695-2185-1
ASCII Text
x 
 
Augusto Parma, Roberto Segala, "Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes," Quantitative Evaluation of Systems, International Conference on, pp. 294-303, The Quantitative Evaluation of Systems, First International Conference on (QEST'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/QEST.2004.10000,
author = {Augusto Parma and Roberto Segala},
title = {Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes},
journal ={Quantitative Evaluation of Systems, International Conference on},
volume = {0},
year = {2004},
isbn = {0-7695-2185-1},
pages = {294-303},
doi = {http://doi.ieeecomputersociety.org/10.1109/QEST.2004.10000},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Quantitative Evaluation of Systems, International Conference on
TI - Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes
SN - 0-7695-2185-1
SP294
EP303
A1 - Augusto Parma,
A1 - Roberto Segala,
PY - 2004
KW - null
VL - 0
JA - Quantitative Evaluation of Systems, International Conference on
ER -
 
Augusto Parma, Universit? di Verona
Roberto Segala, Universit? di Verona
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 non-alternating model of Segala, respectively. It is shown that the two semantics coincide up to trace distribution precongruence.
Citation:
Augusto Parma, Roberto Segala, "Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes," qest, pp.294-303, The Quantitative Evaluation of Systems, First International Conference on (QEST'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.