You are here

Home ›

Publications

Filters: Author is Hernán C. Melgratti  [Clear All Filters]
2015
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. 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.
2014
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”, Service Oriented Computing and Applications, p. 1-15, 2014.
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.
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.
“CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings”, Lecture Notes in Computer Science, vol. 8052. 2013.
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.
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.
2012
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.

   

                              

Powered by Drupal