scientific article; zbMATH DE number 7314999

MaRDI QIDQ4963909zbMATH OpenFDO

Authors Christian Lambertz, Mila Majster-Cederbaum

Publication date 24 February 2021

Full work available at URL https://arxiv.org/abs/1010.5565, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICE2010.3

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

• Deadlock-freedom in component systems with architectural constraints
• Deadlock-free channels and locks
• Verifying deadlock-freedom of communication fabrics
• Checking deadlock-freedom of parametric component-based systems
• Checking deadlock-freedom of parametric component-based systems
• Deadlock avoidance for systolic communication
• scientific article; zbMATH DE number 1693513
• Component-Based Construction of Deadlock-Free Systems
• A specification structure for deadlock-freedom of synchronous processes
• Deadlock-freedom-by-design, multiparty asynchronous global programming

Cited in

(6)

• Deadlock-freedom in component systems with architectural constraints
• scientific article; zbMATH DE number 1693513 (Why is no real title available?)
• Specifying component behavior with port state machines
• Rigorous development of component-based systems using component metadata and patterns
• Ensuring Properties of Interaction Systems
• Robustness in Interaction Systems

This page was built for publication:

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