Using Architectural Constraints for Deadlock-Freedom of Component Systems with Multiway Cooperation
Moritz Martens, Mila Majster-Cederbaum · 2009
We present a compositional analysis of deadlock-freedom in component systems with multiway cooperation. We require the systems to satisfy architectural constraints which make sure that the communication structure between the components is given by a tree. Only pairs of components have to be examined for the analysis, therefore the cost is polynomial in the size of the input.