Formal deadlock elimination in an object oriented conceptual schema

DOI10.1016/0169-023X(94)00031-9MaRDI QIDQ3122597zbMATH OpenOpenAlexWikidataFDO

Authors Guido Dedene, Monique Snoeck

Publication date 28 February 1997

Published in Data & Knowledge Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0169-023x(94)00031-9

zbMATH Keywords

Deadlock eliminationFormal specificationsObject oriented modeling methodsProcess algebra

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• Formal Methods in Software and Systems Modeling
• An Expressive Framework for Verifying Deadlock Freedom
• Deadlock prevention by acyclic orientations
• scientific article; zbMATH DE number 1693513
• A specification structure for deadlock-freedom of synchronous processes
• Component-Based Construction of Deadlock-Free Systems
• Integrated Formal Methods

This page was built for publication: Formal deadlock elimination in an object oriented conceptual schema

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