2009 |
18 | EE | Maria Grazia Buscemi,
Hernán C. Melgratti:
Abstract Processes in Orchestration Languages.
ESOP 2009: 301-315 |
2008 |
17 | EE | Roberto Bruni,
Ivan Lanese,
Hernán C. Melgratti,
Emilio Tuosto:
Multiparty Sessions in SOC.
COORDINATION 2008: 67-82 |
16 | EE | Ivan Lanese,
Hernán C. Melgratti:
Synchronous Multiparty Synchronizations and Transactions.
Concurrency, Graphs and Models 2008: 76-95 |
15 | EE | Roberto Bruni,
Antonio Bucchiarone,
Stefania Gnesi,
Hernán C. Melgratti:
Modelling Dynamic Software Architectures using Typed Graph Grammars.
Electr. Notes Theor. Comput. Sci. 213(1): 39-53 (2008) |
2007 |
14 | EE | Maria Grazia Buscemi,
Hernán C. Melgratti:
Transactional Service Level Agreement.
TGC 2007: 124-139 |
13 | EE | Alberto Baragatti,
Roberto Bruni,
Hernán C. Melgratti,
Ugo Montanari,
Giorgio Spagnolo:
Prototype Platforms for Distributed Agreements.
Electr. Notes Theor. Comput. Sci. 180(2): 21-40 (2007) |
2006 |
12 | EE | Roberto Bruni,
Hernán C. Melgratti,
Ugo Montanari:
Event Structure Semantics for Nominal Calculi.
CONCUR 2006: 295-309 |
11 | EE | Roberto Bruni,
Hernán C. Melgratti:
Non-sequential Behaviour of Dynamic Nets.
ICATPN 2006: 105-124 |
10 | EE | Roberto Bruni,
Hernán C. Melgratti:
Dynamic Graph Transformation Systems.
ICGT 2006: 230-244 |
9 | EE | Davide Bacciu,
Alessio Botta,
Hernán C. Melgratti:
A Fuzzy Approach for Negotiating Quality of Services.
TGC 2006: 200-217 |
8 | EE | Roberto Bruni,
Hernán C. Melgratti,
Emilio Tuosto:
Translating Orc Features into Petri Nets and the Join Calculus.
WS-FM 2006: 123-137 |
7 | EE | Roberto Bruni,
Hernán C. Melgratti,
Ugo Montanari:
Event Structure Semantics for Dynamic Graph Grammars.
ECEASST 2: (2006) |
2005 |
6 | EE | Roberto Bruni,
Michael J. Butler,
Carla Ferreira,
C. A. R. Hoare,
Hernán C. Melgratti,
Ugo Montanari:
Comparing Two Approaches to Compensable Flow Composition.
CONCUR 2005: 383-397 |
5 | EE | Roberto Bruni,
Gian Luigi Ferrari,
Hernán C. Melgratti,
Ugo Montanari,
Daniele Strollo,
Emilio Tuosto:
From Theory to Practice in Transactional Composition of Web Services.
EPEW/WS-FM 2005: 272-286 |
4 | EE | Roberto Bruni,
Hernán C. Melgratti,
Ugo Montanari:
Theoretical foundations for compensations in flow composition languages.
POPL 2005: 209-220 |
2004 |
3 | | Roberto Bruni,
Hernán C. Melgratti,
Ugo Montanari:
Nested Commits for Mobile Calculi: Extending Join.
IFIP TCS 2004: 563-576 |
2 | EE | Roberto Bruni,
Hernán C. Melgratti,
Ugo Montanari:
Flat Committed Join in Join.
Electr. Notes Theor. Comput. Sci. 104: 39-59 (2004) |
2003 |
1 | EE | Roberto Bruni,
Hernán C. Melgratti,
Ugo Montanari:
Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets.
Lectures on Concurrency and Petri Nets 2003: 291-327 |