Property preserving abstractions under parallel composition

DOI10.1007/3-540-56610-4_95MaRDI QIDQ5044770zbMATH OpenOpenAlexFDO

Authors Susanne Graf, C. Loiseaux

Publication date 2 November 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-56610-4_95

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Property preserving abstractions for the verification of concurrent systems
• Simple proof techniques for property preservation via simulation
• Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic
• scientific article; zbMATH DE number 2086521
• Property-preserving parallel decomposition

Cites work

• A logic for the specification and proof of regular controllable processes of CCS
• Algebra of communicating processes with abstraction
• Algebraic laws for nondeterminism and concurrency
• Galois Connexions
• Graph-Based Algorithms for Boolean Function Manipulation
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• Results on the propositional \(\mu\)-calculus

Cited in

(7)

• Property preserving abstractions for the verification of concurrent systems
• Simple proof techniques for property preservation via simulation
• A logic for complex computing systems: properties preservation along integration and abstraction
• scientific article; zbMATH DE number 2086521 (Why is no real title available?)
• scientific article; zbMATH DE number 1405453 (Why is no real title available?)
• Property-preserving parallel decomposition
• Property-Driven Partitioning for Abstraction Refinement

Describes a project that uses

Uses Software

• UNITY

This page was built for publication: Property preserving abstractions under parallel composition

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