%0 Conference Paper %1 journals/corr/LangeS13 %A Lange, Julien %A Scalas, Alceste %B ICE %D 2013 %E Carbone, Marco %E Lanese, Ivan %E Lluch-Lafuente, Alberto %E Sokolova, Ana %K %P 52-67 %T Choreography Synthesis as Contract Agreement. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs131.html#LangeS13 %V 131

@inproceedings{journals/corr/LangeS13, added-at = {2023-12-13T08:05:38.000+0100}, author = {Lange, Julien and Scalas, Alceste}, biburl = {https://www.bibsonomy.org/bibtex/2e8735f3e03be3b698854fa67acd64b99/admin}, booktitle = {ICE}, crossref = {journals/corr/CarboneLLS13}, editor = {Carbone, Marco and Lanese, Ivan and Lluch-Lafuente, Alberto and Sokolova, Ana}, ee = {http://arxiv.org/abs/1310.4573}, interhash = {c0a6dd83b336354d8adbe175bc12decd}, intrahash = {e8735f3e03be3b698854fa67acd64b99}, keywords = {}, pages = {52-67}, series = {EPTCS}, timestamp = {2023-12-13T08:05:38.000+0100}, title = {Choreography Synthesis as Contract Agreement.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs131.html#LangeS13}, volume = 131, year = 2013 }