Author： Jancar P. Kucera A. Moller F. Sawa Z.
Publisher： Elsevier
ISSN： 0890-5401
Source： Information and Computation, Vol.188, Iss.1, 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.
Related content
Program equivalence checking by two-tape automata
By Zakharov V.
Cybernetics and Systems Analysis, Vol. 46, Iss. 4, 2010-07 ,pp. :
Access to resources
Recommend
Pushdown Processes: Games and Model-Checking
Information and Computation, Vol. 164, Iss. 2, 2001-01 ,pp. :
Model Checking Mobile Processes
By Dam M.
Information and Computation, Vol. 129, Iss. 1, 1996-08 ,pp. :
Decidability of Bisimilarity for One-Counter Processes
By Jančar P.
Information and Computation, Vol. 158, Iss. 1, 2000-04 ,pp. :