On Modal Refinement and Consistency
From MaRDI portal
Publication:3525632
DOI10.1007/978-3-540-74407-8_8zbMath1151.68541MaRDI QIDQ3525632
Andrzej Wąsowski, Ulrik Nyman, Kim Guldstrand Larsen
Publication date: 18 September 2008
Published in: CONCUR 2007 – Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-74407-8_8
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
EXPTIME-complete Decision Problems for Modal and Mixed Specifications, Parametric and Quantitative Extensions of Modal Transition Systems, Complexity of Decision Problems for Mixed and Modal Specifications, Simulation relations and applications in formal methods, Coherent modal transition systems refinement, Interface theories for concurrency and data, Safe reasoning with logic LTS, Constraint Markov chains, On the consistency, expressiveness, and precision of partial modeling formalisms, EXPTIME-completeness of thorough refinement on modal transition systems, Modal event-clock specifications for timed component-based design, Refinement checking on parametric modal transition systems, A Modal Interface Theory with Data Constraints, Refinement and Consistency of Timed Modal Specifications