| Theoretical foundations for compensations in flow composition languages R Bruni, H Melgratti, U Montanari ACM SIGPLAN Notices 40 (1), 209-220, 2005 | 268 | 2005 |
| Testing service composition A Bucchiarone, H Melgratti, F Severoni Proceedings of the 8th Argentine Symposium on Software Engineering (ASSE’07), 2007 | 119 | 2007 |
| Comparing two approaches to compensable flow composition R Bruni, M Butler, C Ferreira, T Hoare, H Melgratti, U Montanari CONCUR 2005–Concurrency Theory: 16th International Conference, CONCUR 2005 …, 2005 | 84 | 2005 |
| Connector algebras for C/E and P/T nets interactions R Bruni, H Melgratti, U Montanari, P Sobocinski | 79 | 2012 |
| Multiparty sessions in SOC R Bruni, I Lanese, H Melgratti, E Tuosto Coordination Models and Languages: 10th International Conference …, 2008 | 64 | 2008 |
| Nested commits for mobile calculi: extending Join R Bruni, H Melgratti, U Montanari Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer …, 2004 | 62 | 2004 |
| Modelling dynamic software architectures using typed graph grammars R Bruni, A Bucchiarone, S Gnesi, H Melgratti Electronic Notes in Theoretical Computer Science 213 (1), 39-53, 2008 | 49 | 2008 |
| Event structure semantics for nominal calculi R Bruni, H Melgratti, U Montanari International Conference on Concurrency Theory, 295-309, 2006 | 41 | 2006 |
| From theory to practice in transactional composition of web services R Bruni, G Ferrari, H Melgratti, U Montanari, D Strollo, E Tuosto European Workshop on Performance Engineering, 272-286, 2005 | 33 | 2005 |
| Resolving non-determinism in choreographies L Bocchi, H Melgratti, E Tuosto European Symposium on Programming Languages and Systems, 493-512, 2014 | 25 | 2014 |
| Translating Orc features into Petri nets and the Join calculus R Bruni, H Melgratti, E Tuosto International Workshop on Web Services and Formal Methods, 123-137, 2006 | 24 | 2006 |
| Connector algebras, Petri nets, and BIP R Bruni, H Melgratti, U Montanari International Andrei Ershov Memorial Conference on Perspectives of System …, 2011 | 21 | 2011 |
| Chaperone contracts for higher-order sessions H Melgratti, L Padovani Proceedings of the ACM on Programming Languages 1 (ICFP), 1-29, 2017 | 20 | 2017 |
| Reversing place transition nets H Melgratti, CA Mezzina, I Ulidowski Logical Methods in Computer Science 16, 2020 | 19 | 2020 |
| Reversing P/T Nets H Melgratti, CA Mezzina, I Ulidowski Coordination Models and Languages: 21st IFIP WG 6.1 International Conference …, 2019 | 19 | 2019 |
| A fuzzy approach for negotiating quality of services D Bacciu, A Botta, H Melgratti International Symposium on Trustworthy Global Computing, 200-217, 2006 | 18 | 2006 |
| Reversible occurrence nets and causal reversible prime event structures H Melgratti, CA Mezzina, I Phillips, GM Pinna, I Ulidowski International Conference on Reversible Computation, 35-53, 2020 | 15 | 2020 |
| Transactional service level agreement MG Buscemi, H Melgratti International Symposium on Trustworthy Global Computing, 124-139, 2007 | 13 | 2007 |
| Flat committed join in join R Bruni, H Melgratti, U Montanari Electronic Notes in Theoretical Computer Science 104, 39-59, 2004 | 12 | 2004 |
| Extending the zero-safe approach to coloured, reconfigurable and dynamic nets R Bruni, H Melgratti, U Montanari Lectures on Concurrency and Petri Nets: Advances in Petri Nets 4, 291-327, 2004 | 12 | 2004 |
