Следене
Hernán Melgratti
Hernán Melgratti
Потвърден имейл адрес: dc.uba.ar
Заглавие
Позовавания
Позовавания
Година
Theoretical foundations for compensations in flow composition languages
R Bruni, H Melgratti, U Montanari
ACM SIGPLAN Notices 40 (1), 209-220, 2005
2752005
Testing service composition
A Bucchiarone, H Melgratti, F Severoni
Proceedings of the 8th Argentine Symposium on Software Engineering (ASSE’07), 2007
1202007
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
862005
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
642008
Nested commits for mobile calculi: extending Join
R Bruni, H Melgratti, U Montanari
Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer …, 2004
632004
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
482008
Event structure semantics for nominal calculi
R Bruni, H Melgratti, U Montanari
International Conference on Concurrency Theory, 295-309, 2006
392006
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
352005
Resolving non-determinism in choreographies
L Bocchi, H Melgratti, E Tuosto
European Symposium on Programming Languages and Systems, 493-512, 2014
242014
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
Chaperone contracts for higher-order sessions
H Melgratti, L Padovani
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-29, 2017
232017
Reversing place transition nets
H Melgratti, CA Mezzina, I Ulidowski
Logical Methods in Computer Science 16, 2020
222020
Connector algebras, Petri nets, and BIP
R Bruni, H Melgratti, U Montanari
International Andrei Ershov Memorial Conference on Perspectives of System …, 2011
222011
Reversing P/T Nets
H Melgratti, CA Mezzina, I Ulidowski
Coordination Models and Languages: 21st IFIP WG 6.1 International Conference …, 2019
202019
A fuzzy approach for negotiating quality of services
D Bacciu, A Botta, H Melgratti
International Symposium on Trustworthy Global Computing, 200-217, 2006
182006
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
162020
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
132018
Transactional service level agreement
MG Buscemi, H Melgratti
International Symposium on Trustworthy Global Computing, 124-139, 2007
132007
Multiparty testing preorders
R De Nicola, H Melgratti
Logical Methods in Computer Science 19, 2023
122023
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20