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]

@inproceedings{Stricker16,
  title = {Enabling Compositional Deadlock Checking of Component Compositions with Partial Bindings},
  author = {Vanessa Stricker},
  year = {2016},
  url = {http://ceur-ws.org/Vol-1603/10000018.pdf},
  researchr = {https://researchr.org/publication/Stricker16},
  cites = {0},
  citedby = {0},
  booktitle = {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},
  editor = {Oscar Pastor and Stefanie Rinderle-Ma and Roel Wieringa and Selmin Nurcan and Barbara Pernici and Hans Weigand},
  volume = {1603},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}