Enabling Compositional Deadlock Checking of Component Compositions with Partial Bindings

Vanessa Stricker. Enabling Compositional Deadlock Checking of Component Compositions with Partial Bindings. In Oscar Pastor, Stefanie Rinderle-Ma, Roel Wieringa, Selmin Nurcan, Barbara Pernici, Hans Weigand, editors, Proceedings of CAiSE 2016 Doctoral Consortium co-located with 28th International Conference on Advanced Information Systems Engineering (CAiSE 2016), Ljubljana, Slovenia, June 13-17, 2016. Volume 1603 of CEUR Workshop Proceedings, CEUR-WS.org, 2016. [doi]

Bibliographies