Theoretical foundations for compensations in flow composition languages R Bruni, H Melgratti, U Montanari ACM SIGPLAN Notices 40 (1), 209-220, 2005 | 264 | 2005 |
Testing service composition A Bucchiarone, H Melgratti, F Severoni Proceedings of the 8th Argentine Symposium on Software Engineering (ASSE’07), 2007 | 115 | 2007 |
Comparing two approaches to compensable flow composition R Bruni, M Butler, C Ferreira, T Hoare, H Melgratti, U Montanari International Conference on Concurrency Theory, 383-397, 2005 | 84 | 2005 |
Connector algebras for C/E and P/T nets interactions R Bruni, H Melgratti, U Montanari, P Sobocinski | 70 | 2012 |
Multiparty sessions in SOC R Bruni, I Lanese, H Melgratti, E Tuosto International Conference on Coordination Languages and Models, 67-82, 2008 | 64 | 2008 |
Nested commits for mobile calculi: extending Join R Bruni, H Melgratti, U Montanari Exploring New Frontiers of Theoretical Informatics, 563-576, 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 | 47 | 2008 |
Event structure semantics for nominal calculi R Bruni, H Melgratti, U Montanari International Conference on Concurrency Theory, 295-309, 2006 | 35 | 2006 |
From theory to practice in transactional composition of web services R Bruni, G Ferrari, H Melgratti, U Montanari, D Strollo, E Tuosto Formal Techniques for Computer Systems and Business Processes, 272-286, 2005 | 32 | 2005 |
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 | 23 | 2006 |
Resolving non-determinism in choreographies L Bocchi, H Melgratti, E Tuosto European Symposium on Programming Languages and Systems, 493-512, 2014 | 20 | 2014 |
Connector algebras, Petri nets, and BIP R Bruni, H Melgratti, U Montanari International Andrei Ershov Memorial Conference on Perspectives of System …, 2011 | 19 | 2011 |
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 |
Reversing P/T Nets H Melgratti, CA Mezzina, I Ulidowski International Conference on Coordination Languages and Models, 19-36, 2019 | 13 | 2019 |
Transactional service level agreement MG Buscemi, H Melgratti International Symposium on Trustworthy Global Computing, 124-139, 2007 | 12 | 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 Advanced Course on Petri Nets, 291-327, 2003 | 12 | 2003 |
Theoretical foundations for compensations in flow composition languages R Bruni, HC Melgratti, U Montanari POPL, 209-220, 0 | 10 | |
Chaperone contracts for higher-order sessions H Melgratti, L Padovani Proceedings of the ACM on Programming Languages 1 (ICFP), 1-29, 2017 | 9 | 2017 |
Behaviour, interaction and dynamics R Bruni, H Melgratti, U Montanari Specification, Algebra, and Software, 382-401, 2014 | 9 | 2014 |