Hernán Melgratti
Hernán Melgratti
Geverifieerd e-mailadres voor dc.uba.ar
Titel
Geciteerd door
Geciteerd door
Jaar
Theoretical foundations for compensations in flow composition languages
R Bruni, H Melgratti, U Montanari
ACM SIGPLAN Notices 40 (1), 209-220, 2005
2592005
Testing service composition
A Bucchiarone, H Melgratti, F Severoni
Proceedings of the 8th Argentine Symposium on Software Engineering (ASSE’07), 2007
1022007
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
802005
Multiparty sessions in SOC
R Bruni, I Lanese, H Melgratti, E Tuosto
International Conference on Coordination Languages and Models, 67-82, 2008
642008
Connector algebras for C/E and P/T nets interactions
R Bruni, H Melgratti, U Montanari, P Sobocinski
622012
Nested commits for mobile calculi: extending Join
R Bruni, H Melgratti, U Montanari
Exploring New Frontiers of Theoretical Informatics, 563-576, 2004
622004
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
432008
Event structure semantics for nominal calculi
R Bruni, H Melgratti, U Montanari
International Conference on Concurrency Theory, 295-309, 2006
352006
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
302005
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
242006
Connector algebras, Petri nets, and BIP
R Bruni, H Melgratti, U Montanari
International Andrei Ershov Memorial Conference on Perspectives of System …, 2011
192011
A fuzzy approach for negotiating quality of services
D Bacciu, A Botta, H Melgratti
International Symposium on Trustworthy Global Computing, 200-217, 2006
182006
Resolving non-determinism in choreographies
L Bocchi, H Melgratti, E Tuosto
European Symposium on Programming Languages and Systems, 493-512, 2014
142014
Flat committed join in join
R Bruni, H Melgratti, U Montanari
Electronic Notes in Theoretical Computer Science 104, 39-59, 2004
122004
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
122003
Transactional service level agreement
MG Buscemi, H Melgratti
International Symposium on Trustworthy Global Computing, 124-139, 2007
112007
Theoretical foundations for compensations in flow composition languages
R Bruni, HC Melgratti, U Montanari
POPL, 209-220, 0
10
Behaviour, interaction and dynamics
R Bruni, H Melgratti, U Montanari
Specification, Algebra, and Software, 382-401, 2014
92014
Reversing P/T Nets
H Melgratti, CA Mezzina, I Ulidowski
International Conference on Coordination Languages and Models, 19-36, 2019
82019
Chaperone contracts for higher-order sessions
H Melgratti, L Padovani
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-29, 2017
82017
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20