%0 Conference Paper %1 knapp2017interactions %A Knapp, Alexander %A Mossakowski, Till %B 7th Conference on Algebra and Coalgebra in Computer Science (CALCO) %D 2017 %E Bonchi, Filippo %E König, Barbara %I LIPICS %K composite consistency institution interaction machine multi-view myown state structure uml %R 10.4230/LIPIcs.CALCO.2017.15 %T UML interactions meet state machines - an institutional approach %U http://coalg.org/mfps-calco2017/calco-papers/calco2017-15.pdf

@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 }