Modal Abstractions of Concurrent Behaviour

DOI10.1007/978-3-540-69166-2_11zbMath1149.68407OpenAlexW2058885253MaRDI 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

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 (6)

Modal transition systems with weight intervals ⋮ Static analysis of IMC ⋮ A monotone framework for CCS ⋮ EXPTIME-completeness of thorough refinement on modal transition systems ⋮ Parametric and Quantitative Extensions of Modal Transition Systems ⋮ Refinement checking on parametric modal transition systems

This page was built for publication: Modal Abstractions of Concurrent Behaviour