Composition and behaviors of probabilistic I/O automata

Author： Plotkin G.D.   Wu S.-H.   Smolka S.A.   Stark E.W.  

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.176, Iss.1, 1997-04, pp. : 1-38

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

Properties of probabilistic pushdown automata

By Macarie I.I.   Ogihara M.  

Theoretical Computer Science, Vol. 207, Iss. 1, 1998-10 ,pp. : 117-130

Elsevier

Access to resources Recommend Favorite

On probabilistic timed automata

By Beauquier D.  

Theoretical Computer Science, Vol. 292, Iss. 1, 2003-01 ,pp. : 65-84

Elsevier

Access to resources Recommend Favorite

Analyzing probabilistic pushdown automata

By Brázdil Tomáš   Esparza Javier   Kiefer Stefan   Kučera Antonín  

Formal Methods in System Design, Vol. 43, Iss. 2, 2013-10 ,pp. : 124-163

Springer Publishing Company

Access to resources Recommend Favorite

Automata of asynchronous behaviors

By Brzozowski J.A.   Negulescu R.  

Theoretical Computer Science, Vol. 231, Iss. 1, 2000-01 ,pp. : 113-128

Elsevier

Access to resources Recommend Favorite

Model checking for probabilistic timed automata

By Norman Gethin   Parker David   Sproston Jeremy  

Formal Methods in System Design, Vol. 43, Iss. 2, 2013-10 ,pp. : 164-190

Springer Publishing Company

Access to resources Recommend Favorite