Probabilistic communicating processes

By Seidel K.  

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

Elsevier

Access to resources Recommend Favorite

Speechreading using Probabilistic Models

By Luettin J.   Thacker N.A.  

Computer Vision and Image Understanding, Vol. 65, Iss. 2, 1997-02 ,pp. : 163-178

Academic Press

Access to resources Recommend Favorite

A Testing Equivalence for Reactive Probabilistic Processes

By Kwiatkowska M.Z.   Norman G.J.  

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

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

Probabilistic and prioritized models of timed CSP

By Lowe G.  

Theoretical Computer Science, Vol. 138, Iss. 2, 1995-02 ,pp. : 315-352

Elsevier

Access to resources Recommend Favorite