Using Architectural Constraints for Deadlock-Freedom of Component Systems with Multiway Cooperation.

Moritz Martens, Mila E. Majster-Cederbaum

Browse the full TASE paper archive.