A Testing Equivalence for Reactive Probabilistic Processes

Publisher： Elsevier

ISSN： 1571-0661

Source： Electronic Notes in Theoretical Computer Science, Vol.16, Iss.2, 2004-01, pp. : 1-19

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Testing shift-equivalence of polynomials by deterministic, probabilistic and quantum machines

By Grigoriev D.

Theoretical Computer Science, Vol. 180, Iss. 1, 1997-06 ,pp. : 217-228

Elsevier

Access to resources Recommend Favorite

Discrete time generative-reactive probabilistic processes with different advancing speeds

By Bravetti M. Aldini A.

Theoretical Computer Science, Vol. 290, Iss. 1, 2003-01 ,pp. : 355-406

Elsevier

Access to resources Recommend Favorite

Probabilistic communicating processes

By Seidel K.

Theoretical Computer Science, Vol. 152, Iss. 2, 1995-12 ,pp. : 219-249

Elsevier

Access to resources Recommend Favorite

Additive models of probabilistic processes

By Ying M.

Theoretical Computer Science, Vol. 275, Iss. 1, 2002-03 ,pp. : 481-519

Elsevier

Access to resources Recommend Favorite

Algebraic theory of probabilistic and nondeterministic processes

By Cazorla D. Cuartero F. Valero V. Pelayo F.L. Pardo J.J.

Journal of Logic and Algebraic Programming, Vol. 55, Iss. 1, 2003-03 ,pp. : 57-103

Elsevier

Access to resources Recommend Favorite