Modal abstractions of concurrent behavior

DOI10.1145/1929954.1929955MaRDI QIDQ2946636zbMATH OpenOpenAlexWikidataFDO

Authors Flemming Nielson, Sebastian Nanz, Hanne Riis Nielson

Publication date 17 September 2015

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1929954.1929955

zbMATH Keywords

abstract interpretationabstractionconcurrencymodal logicstatic analysistemporal logicthree-valued logicprocess calculiCCSlabeled transition systemsunderapproximationmodal transition systemsmonotone frameworksoverapproximation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Modal Abstractions of Concurrent Behaviour
• scientific article; zbMATH DE number 1863177
• Algebraic Methodology and Software Technology
• Abstraction and abstraction refinement
• scientific article; zbMATH DE number 2086523

Cited in

(7)

• Modal Abstractions of Concurrent Behaviour
• Accelerated Modal Abstractions of Labelled Transition Systems
• Building a Modal Interface Theory for Concurrency and Data
• scientific article; zbMATH DE number 2079818 (Why is no real title available?)
• scientific article; zbMATH DE number 1670560 (Why is no real title available?)
• Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic
• Algebraic Methodology and Software Technology

This page was built for publication: Modal abstractions of concurrent behavior

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