Enriched µ-Calculus Pushdown Module Checking - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Alessandro Ferrante, Aniello Murano, Mimmo Parente. Enriched µ-Calculus Pushdown Module Checking. In Nachum Dershowitz, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings. Volume 4790 of Lecture Notes in Computer Science, pages 438-453, Springer, 2007. [doi]

The following publications are possibly variants of this publication:

µ-calculus Pushdown Module Checking with Imperfect State InformationBenjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre. ifipTCS 2008: 333-348 [doi]

Enriched µ-Calculi Module CheckingAlessandro Ferrante, Aniello Murano. fossacs 2007: 183-197 [doi]

Enriched µ-Calculi Module CheckingAlessandro Ferrante, Aniello Murano, Mimmo Parente. lmcs, 4(3), 2008. [doi]

Pushdown module checkingLaura Bozzelli, Aniello Murano, Adriano Peron. fmsd, 36(1):65-95, 2010. [doi]

Pushdown Module CheckingLaura Bozzelli, Aniello Murano, Adriano Peron. lpar 2005: 504-518 [doi]

Pushdown module checking with imperfect informationBenjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre, Moshe Y. Vardi. iandc, 223:1-17, 2013. [doi]

Pushdown Module Checking with Imperfect InformationBenjamin Aminof, Aniello Murano, Moshe Y. Vardi. concur 2007: 460-475 [doi]

Module checking of pushdown multi-agent systemsLaura Bozzelli, Aniello Murano, Adriano Peron. lmcs, 22(1), 2026. [doi]

Module Checking of Pushdown Multi-agent SystemsLaura Bozzelli, Aniello Murano, Adriano Peron. kr 2020: 162-171 [doi]

runs on WebDSL