@inproceedings{knapp2017interactions,
  added-at = {2017-05-15T21:43:01.000+0200},
  author = {Knapp, Alexander and Mossakowski, Till},
  biburl = {https://www.bibsonomy.org/bibtex/28dfcb5108af84ca0fb7ae4d637e1178c/tillmo},
  booktitle = {7th Conference on Algebra and Coalgebra in Computer Science (CALCO)},
  doi = {10.4230/LIPIcs.CALCO.2017.15},
  editor = {Bonchi, Filippo and König, Barbara},
  interhash = {11094db3fa6372c9fc124bdf35b81294},
  intrahash = {8dfcb5108af84ca0fb7ae4d637e1178c},
  keywords = {composite consistency institution interaction machine multi-view myown state structure uml},
  publisher = {LIPICS},
  timestamp = {2017-11-09T12:32:56.000+0100},
  title = {UML interactions meet state machines - an institutional approach},
  url = {http://coalg.org/mfps-calco2017/calco-papers/calco2017-15.pdf},
  year = 2017
}