Property-preserving parallel decomposition

DOI10.1007/978-3-319-63121-9_7MaRDI QIDQ5217301zbMATH OpenOpenAlexFDO

Authors Bernhard Steffen, Marc Jasper

Publication date 24 February 2020

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

Full work available at URL https://doi.org/10.1007/978-3-319-63121-9_7

Mathematics Subject Classification ID

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

Recommendations

• Property preserving abstractions under parallel composition
• Property preserving abstractions for the verification of concurrent systems
• Distribution of Modal Transition Systems
• scientific article; zbMATH DE number 2079827
• scientific article; zbMATH DE number 2080014

Cited in

(1)

• Property preserving abstractions under parallel composition

This page was built for publication: Property-preserving parallel decomposition

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