Publications

Export 12 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: Author is Hernán C. Melgratti  [Clear All Filters]
Conference Paper
R. Bruni, H. C. Melgratti, and U. Montanari, “Behaviour, Interaction and Dynamics”, in Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, 2014.
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.
H. Hermanns and A. Turrini, “Cost Preserving Bisimulations for Probabilistic Automata”, in CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, 2013, vol. 8052, p. 349-363.
R. Bruni, H. C. Melgratti, and U. Montanari, “From Hierarchical {BIP} to Petri Calculus”, in From Programs to Systems. The Systems perspective in Computing - {ETAPS} Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings, 2014.
R. de Nicola and H. C. Melgratti, “Multiparty Testing Preorders”, in Proceedings of TGC 2015 - Symposium on Trustworthy Global Computing 2015, 2015.
R. Bruni, H. C. Melgratti, and U. Montanari, “A Normal Form for Stateful Connectors”, in Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday, 2015.
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.
R. Bruni, H. C. Melgratti, and U. Montanari, “A survey on basic connectors and buffers”, in Formal Methods for Components and Objects - 10th International Symposium, FMCO 2011. Revised Papers, 2012.
Journal Article
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.
R. Bruni, H. C. Melgratti, and U. Montanari, “cJoin: Join with communicating transactions”, Mathematical Structures in Computer Science, vol. 25, p. 566–618, 2015.
R. Bruni, H. C. Melgratti, U. Montanari, and P. Sobocinski, “Connector algebras for C/E and P/T nets interactions”, Logical Methods in Computer Science, vol. 9, no. 16, p. 1–65, 2013.