%0 Journal Article %1 journals/dc/CarboneMS18 %A Carbone, Marco %A Montesi, Fabrizio %A Schürmann, Carsten %D 2018 %J Distributed Comput. %K dblp %N 1 %P 51-67 %T Choreographies, logically. %U http://dblp.uni-trier.de/db/journals/dc/dc31.html#CarboneMS18 %V 31

@article{journals/dc/CarboneMS18, added-at = {2024-01-10T00:00:00.000+0100}, author = {Carbone, Marco and Montesi, Fabrizio and Schürmann, Carsten}, biburl = {https://www.bibsonomy.org/bibtex/2b35f7095cd67641bf141efd8e09ca858/dblp}, ee = {https://doi.org/10.1007/s00446-017-0295-1}, interhash = {e0cdd84e7ca2dea22c0646520d8f8d57}, intrahash = {b35f7095cd67641bf141efd8e09ca858}, journal = {Distributed Comput.}, keywords = {dblp}, number = 1, pages = {51-67}, timestamp = {2024-04-08T16:09:19.000+0200}, title = {Choreographies, logically.}, url = {http://dblp.uni-trier.de/db/journals/dc/dc31.html#CarboneMS18}, volume = 31, year = 2018 }