A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems.

Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier

Browse the full SOFSEM paper archive.