Decidability of Bisimilarity for One-Counter Processes

ISSN： 0890-5401

Source： Information and Computation, Vol.158, Iss.1, 2000-04, pp. : 1-17

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

DP lower bounds for equivalence-checking and model-checking of one-counter automata

By Jancar P. Kucera A. Moller F. Sawa Z.

Information and Computation, Vol. 188, Iss. 1, 2004-01 ,pp. : 1-19

Elsevier

Access to resources Recommend Favorite

Decidability of Split Equivalence

By Abramson Y. Rabinovich A.

Information and Computation, Vol. 173, Iss. 1, 2002-02 ,pp. : 15-39

Academic Press

Access to resources Recommend Favorite

Probabilization of Logics: Completeness and Decidability

By Baltazar Pedro

Logica Universalis, Vol. 7, Iss. 4, 2013-12 ,pp. : 403-440

Springer Publishing Company

Access to resources Recommend Favorite

On delay and asymmetry points of one-dimensional diffusion processes

By Harlamov B.

Journal of Mathematical Sciences, Vol. 176, Iss. 2, 2011-07 ,pp. : 270-280

Springer Publishing Company

Access to resources Recommend Favorite

On One Regularity Condition for Quantum Quadratic Stochastic Processes

By Mukhamedov F.M.

Ukrainian Mathematical Journal, Vol. 53, Iss. 10, 2001-10 ,pp. : 1657-1672

Springer Publishing Company

Access to resources Recommend Favorite