Formal Deadlock Elimination in an Object Oriented Conceptual Schema

Guido Dedene, Monique Snoeck. Formal Deadlock Elimination in an Object Oriented Conceptual Schema. Data \& Knowledge Engineering, 15(1):1-30, 1995. [doi]

Abstract

Abstract is missing.