Modal Abstractions of Concurrent Behaviour
From MaRDI portal
Publication:3522068
DOI10.1007/978-3-540-69166-2_11zbMath1149.68407MaRDI QIDQ3522068
Sebastian Nanz, Hanne Riis Nielson, Flemming Nielson
Publication date: 28 August 2008
Published in: Static Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-69166-2_11
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Parametric and Quantitative Extensions of Modal Transition Systems, Modal transition systems with weight intervals, Static analysis of IMC, EXPTIME-completeness of thorough refinement on modal transition systems, A monotone framework for CCS, Refinement checking on parametric modal transition systems