Pushdown Module Checking with Imperfect Information

DOI10.1007/978-3-540-74407-8_31zbMath1151.68468OpenAlexW2074460611MaRDI QIDQ3525655

Benjamin Aminof, Aniello Murano, Moshe Y. Vardi

Publication date: 18 September 2008

Published in: CONCUR 2007 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74407-8_31

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Pushdown module checking

This page was built for publication: Pushdown Module Checking with Imperfect Information