Modal Abstractions of Concurrent Behaviour

DOI10.1007/978-3-540-69166-2_11MaRDI QIDQ3522068zbMATH OpenOpenAlexFDO

Authors Sebastian Nanz, Flemming Nielson, Hanne Riis 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)

Recommendations

• Modal abstractions of concurrent behavior
• scientific article; zbMATH DE number 1863177
• Algebraic Methodology and Software Technology
• Accelerated Modal Abstractions of Labelled Transition Systems
• Abstraction and abstraction refinement

Cited in

(16)

• A monotone framework for CCS
• Refinement checking on parametric modal transition systems
• Building a Modal Interface Theory for Concurrency and Data
• Modal abstractions of concurrent behavior
• Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic
• Modelling Concurrency with Quotient Monoids
• Accelerated Modal Abstractions of Labelled Transition Systems
• Modal transition systems with weight intervals
• Static analysis of IMC
• scientific article; zbMATH DE number 1500661 (Why is no real title available?)
• scientific article; zbMATH DE number 1759612 (Why is no real title available?)
• Parametric and quantitative extensions of modal transition systems
• Algebraic Methodology and Software Technology
• Abstraction Modulo Stability for Reverse Engineering
• EXPTIME-completeness of thorough refinement on modal transition systems
• An abstract interpretation toolkit for CRL

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3522068)