Author： Cazorla D. Cuartero F. Valero V. Pelayo F.L. Pardo J.J.
Publisher： Elsevier
ISSN： 1567-8326
Source： Journal of Logic and Algebraic Programming, Vol.55, Iss.1, 2003-03, pp. : 57-103
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
Access to resources
Recommend
Probabilistic communicating processes
By Seidel K.
Theoretical Computer Science, Vol. 152, Iss. 2, 1995-12 ,pp. :
Additive models of probabilistic processes
By Ying M.
Theoretical Computer Science, Vol. 275, Iss. 1, 2002-03 ,pp. :
Algebraic reasoning for probabilistic action systems and while-loops
Acta Informatica, Vol. 45, Iss. 5, 2008-07 ,pp. :