Forcing Monotonicity in Parameterized Verification: From Multisets to Words

DOI10.1007/978-3-642-11266-9_1zbMath1274.68171OpenAlexW1848713912MaRDI QIDQ3401086

Parosh Aziz Abdulla

Publication date: 28 January 2010

Published in: SOFSEM 2010: Theory and Practice of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-11266-9_1

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)

This page was built for publication: Forcing Monotonicity in Parameterized Verification: From Multisets to Words