selected publications

• conference paper

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