Pushdown Processes: Games and Model-Checking

ISSN： 0890-5401

Source： Information and Computation, Vol.164, Iss.2, 2001-01, pp. : 234-263

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

Model checking LTL with regular valuations for pushdown systems

By Esparza J. Kucera A. Schwoon S.

Information and Computation, Vol. 186, Iss. 2, 2003-11 ,pp. : 355-376

Elsevier

Access to resources Recommend Favorite

Model Checking Mobile Processes

By Dam M.

Information and Computation, Vol. 129, Iss. 1, 1996-08 ,pp. : 35-51

Academic Press

Access to resources Recommend Favorite

Compact labelings for efficient first-order model-checking

By Courcelle Bruno Gavoille Cyril Kanté Mamadou

Journal of Combinatorial Optimization, Vol. 21, Iss. 1, 2011-01 ,pp. : 19-46

Springer Publishing Company

Access to resources Recommend Favorite

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

Network spot‐checking games: Theory and application to toll enforcing in transportation networks

NETWORKS: AN INTERNATIONAL JOURNAL, Vol. 65, Iss. 4, 2015-07 ,pp. : 312-328

John Wiley & Sons Inc

Access to resources Recommend Favorite