Resolving Non-determinism in Choreographies
| Title | Resolving Non-determinism in Choreographies |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Bocchi, L, Melgratti, HC, Tuosto, E |
| Editor | Shao, Z |
| Conference Name | Programming Languages and Systems - 23rd European Symposium on Programming, {ESOP} 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014, Proceedings |
| Publisher | Springer |
| URL | http://dx.doi.org/10.1007/978-3-642-54833-8_26 |
| DOI | 10.1007/978-3-642-54833-8_26 |
Work Package:
WP2
