Meta data
- BibTeX key
- journals/corr/abs-1108-0470
- entry type
- inproceedings
- booktitle
- ICE
- year
- 2011
- pages
- 111-129
- series
- EPTCS
- volume
- 59
- crossref
- journals/corr/abs-1108-0144
- ee
- http://arxiv.org/abs/1108.0470
- url
- http://dblp.uni-trier.de/db/series/eptcs/eptcs59.html#abs-1108-0470
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 journals/corr/abs-1108-0470
%A Bocchi, Laura
%A Lange, Julien
%A Tuosto, Emilio
%B ICE
%D 2011
%E Silva, Alexandra
%E Bliudze, Simon
%E Bruni, Roberto
%E Carbone, Marco
%K
%P 111-129
%T Amending Contracts for Choreographies
%U http://dblp.uni-trier.de/db/series/eptcs/eptcs59.html#abs-1108-0470
%V 59
@inproceedings{journals/corr/abs-1108-0470,
added-at = {2023-12-13T07:04:34.000+0100},
author = {Bocchi, Laura and Lange, Julien and Tuosto, Emilio},
biburl = {https://www.bibsonomy.org/bibtex/273ffc76257ce1fcdd95bc10f81f6df87/admin},
booktitle = {ICE},
crossref = {journals/corr/abs-1108-0144},
editor = {Silva, Alexandra and Bliudze, Simon and Bruni, Roberto and Carbone, Marco},
ee = {http://arxiv.org/abs/1108.0470},
interhash = {b4e1ba35e32c110c8c90200088e5e920},
intrahash = {73ffc76257ce1fcdd95bc10f81f6df87},
keywords = {},
pages = {111-129},
series = {EPTCS},
timestamp = {2023-12-13T07:04:34.000+0100},
title = {Amending Contracts for Choreographies},
url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs59.html#abs-1108-0470},
volume = 59,
year = 2011
}