Property preserving abstractions under parallel composition
From MaRDI portal
Publication:5044770
DOI10.1007/3-540-56610-4_95zbMath1497.68340OpenAlexW1525788564MaRDI QIDQ5044770
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
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Results on the propositional \(\mu\)-calculus
- Algebra of communicating processes with abstraction
- A logic for the specification and proof of regular controllable processes of CCS
- Graph-Based Algorithms for Boolean Function Manipulation
- Algebraic laws for nondeterminism and concurrency
- Galois Connexions
This page was built for publication: Property preserving abstractions under parallel composition