Discrete time generative-reactive probabilistic processes with different advancing speeds

Publisher： Elsevier

ISSN： 0304-3975

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

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

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

Modeling concurrent real-time processes using discrete events

By Lee E.A.

Annals of Software Engineering, Vol. 7, Iss. 1-4, 1999-01 ,pp. : 25-45

Springer Publishing Company

Access to resources Recommend Favorite

Analysis and Filtration of Special Discrete-Time Markov Processes. I. Martingale Representation

By Borisov A. Miller G.

Automation and Remote Control, Vol. 66, Iss. 6, 2005-06 ,pp. : 953-962

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Analysis and Filtration of Special Discrete-Time Markov Processes. II. Optimal Filtration

By Borisov A. Miller G.

Automation and Remote Control, Vol. 66, Iss. 7, 2005-07 ,pp. : 1125-1136

MAIK Nauka/Interperiodica

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