Theoretical foundations for compensations in flow composition languages R Bruni, H Melgratti, U Montanari ACM SIGPLAN Notices 40 (1), 209-220, 2005 | 275 | 2005 |
Testing service composition A Bucchiarone, H Melgratti, F Severoni Proceedings of the 8th Argentine Symposium on Software Engineering (ASSE’07), 2007 | 120 | 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 | 86 | 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 | 63 | 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 | 48 | 2008 |
Event structure semantics for nominal calculi R Bruni, H Melgratti, U Montanari International Conference on Concurrency Theory, 295-309, 2006 | 39 | 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 | 35 | 2005 |
Resolving non-determinism in choreographies L Bocchi, H Melgratti, E Tuosto European Symposium on Programming Languages and Systems, 493-512, 2014 | 24 | 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 |
Chaperone contracts for higher-order sessions H Melgratti, L Padovani Proceedings of the ACM on Programming Languages 1 (ICFP), 1-29, 2017 | 23 | 2017 |
Reversing place transition nets H Melgratti, CA Mezzina, I Ulidowski Logical Methods in Computer Science 16, 2020 | 22 | 2020 |
Connector algebras, Petri nets, and BIP R Bruni, H Melgratti, U Montanari International Andrei Ershov Memorial Conference on Perspectives of System …, 2011 | 22 | 2011 |
Reversing P/T Nets H Melgratti, CA Mezzina, I Ulidowski Coordination Models and Languages: 21st IFIP WG 6.1 International Conference …, 2019 | 20 | 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 | 16 | 2020 |
Concurrency and probability: Removing confusion, compositionally R Bruni, H Melgratti, U Montanari Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 13 | 2018 |
Transactional service level agreement MG Buscemi, H Melgratti International Symposium on Trustworthy Global Computing, 124-139, 2007 | 13 | 2007 |
Multiparty testing preorders R De Nicola, H Melgratti Logical Methods in Computer Science 19, 2023 | 12 | 2023 |