Component-Based Construction of Deadlock-Free Systems

DOI10.1007/978-3-540-24597-1_36MaRDI QIDQ5191537zbMATH OpenOpenAlexFDO

Authors Joseph Sifakis, Gregor Gössler

Publication date 6 August 2009

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

Full work available at URL https://doi.org/10.1007/978-3-540-24597-1_36

Mathematics Subject Classification ID

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

Recommendations

• Composition for component-based modeling
• Deadlock-freedom in component systems with architectural constraints
• Deadlock free specification based on local process properties
• Analyzing component-based systems on the basis of architectural constraints
• The pursuit of deadlock freedom

Cited in

(15)

• Local and global deadlock-detection in component-based systems are NP-hard
• Deadlock-freedom in component systems with architectural constraints
• scientific article; zbMATH DE number 1693513 (Why is no real title available?)
• Analyzing component-based systems on the basis of architectural constraints
• Formal deadlock elimination in an object oriented conceptual schema
• Ensuring Properties of Interaction Systems
• Robustness in Interaction Systems
• Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems
• Construction of Deadlock-free Designs of Communication Protocols from Observations
• scientific article; zbMATH DE number 7314999 (Why is no real title available?)
• Formal Methods for Components and Objects
• Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets
• A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems
• Everything Is PSPACE-Complete in Interaction Systems
• An extensional treatment of lazy data flow deadlock

This page was built for publication: Component-Based Construction of Deadlock-Free Systems

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