Publications

Export 3 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Laura Bocchi  [Clear All Filters]
2014
L. Bocchi and H. C. Melgratti, “On the behaviour of general purpose applications on cloud storages”, Service Oriented Computing and Applications, p. 1-15, 2014.
L. Bocchi, H. C. Melgratti, and E. Tuosto, “Resolving Non-determinism in Choreographies”, in 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, 2014.
2013
L. Bocchi and H. C. Melgratti, “On the Behaviour of General-Purpose Applications on Cloud Storages”, in Web Services and Formal Methods - 10th International Workshop, {WS-FM} 2013, Beijing, China, August 2013, Revised Selected Papers, 2013.