Modal abstractions of concurrent behavior

DOI10.1145/1929954.1929955zbMath1351.68185OpenAlexW2005263036WikidataQ59416333 ScholiaQ59416333MaRDI QIDQ2946636

Flemming Nielson, Hanne Riis Nielson, Sebastian Nanz

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

modal logicstatic analysisthree-valued logictemporal logicconcurrencyabstractionprocess calculiabstract interpretationmodal transition systemsCCSlabeled transition systemsunderapproximationmonotone frameworksoverapproximation

Mathematics Subject Classification ID

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

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