Compositional analysis of deadlock-freedom for tree-like component architectures.

Mila E. Majster-Cederbaum Moritz Martens Compositional analysis of deadlock-freedom for tree-like component architectures. 199-206 2008 EMSOFT http://doi.acm.org/10.1145/1450058.1450085 conf/emsoft/2008 db/conf/emsoft/emsoft2008.html#Majster-CederbaumM08