Model Checking EGF on Basic Parallel Processes
From MaRDI portal
Publication:3172909
DOI10.1007/978-3-642-24372-1_10zbMath1348.68138OpenAlexW147847307MaRDI QIDQ3172909
Publication date: 7 October 2011
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-24372-1_10
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)