 | 2009 |
|---|
| 17 |       | Maria Grazia Buscemi,
Hernán C. Melgratti:
Abstract Processes in Orchestration Languages.
ESOP 2009: 301-315 |
| 2008 |
|---|
| 16 | | Filippo Bonchi,
Maria Grazia Buscemi,
Vincenzo Ciancia,
Fabio Gadducci:
A Category of Explicit Fusions.
Concurrency, Graphs and Models 2008: 544-562 |
| 15 | | Maria Grazia Buscemi,
Ugo Montanari:
Open Bisimulation for the Concurrent Constraint Pi-Calculus.
ESOP 2008: 254-268 |
| 14 | | Maria Grazia Buscemi,
Ugo Montanari:
A survey of constraint-based programming paradigms.
Computer Science Review 2(3): 137-141 (2008) |
| 2007 |
|---|
| 13 | | Maria Grazia Buscemi,
Ugo Montanari:
CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements.
ESOP 2007: 18-32 |
| 12 | | Maria Grazia Buscemi,
Laura Ferrari,
Corrado Moiso,
Ugo Montanari:
Constraint-Based Policy Negotiation and Enforcement for Telco Services.
TASE 2007: 463-472 |
| 11 | | Maria Grazia Buscemi,
Hernán C. Melgratti:
Transactional Service Level Agreement.
TGC 2007: 124-139 |
| 10 | | Maria Grazia Buscemi,
Ugo Montanari:
A compositional coalgebraic model of fusion calculus.
J. Log. Algebr. Program. 72(1): 78-97 (2007) |
| 2006 |
|---|
| 9 | | Maria Grazia Buscemi,
Ugo Montanari:
A Compositional Coalgebraic Model of a Fragment of Fusion Calculus.
Electr. Notes Theor. Comput. Sci. 162: 135-139 (2006) |
| 2005 |
|---|
| 8 | | Michele Boreale,
Maria Grazia Buscemi,
Ugo Montanari:
A General Name Binding Mechanism.
TGC 2005: 61-74 |
| 7 | | Michele Boreale,
Maria Grazia Buscemi:
A method for symbolic analysis of security protocols.
Theor. Comput. Sci. 338(1-3): 393-425 (2005) |
| 2004 |
|---|
| 6 | | Michele Boreale,
Maria Grazia Buscemi,
Ugo Montanari:
D-Fusion: A Distinctive Fusion Calculus.
APLAS 2004: 296-310 |
| 2003 |
|---|
| 5 | | Michele Boreale,
Maria Grazia Buscemi:
Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation.
MFCS 2003: 269-278 |
| 2002 |
|---|
| 4 | | Maria Grazia Buscemi,
Ugo Montanari:
A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence.
CONCUR 2002: 449-465 |
| 3 | | Michele Boreale,
Maria Grazia Buscemi:
A Framework for the Analysis of Security Protocols.
CONCUR 2002: 483-498 |
| 2 | | Michele Boreale,
Maria Grazia Buscemi:
Experimenting with STA, a tool for automatic analysis of security protocols.
SAC 2002: 281-285 |
| 2001 |
|---|
| 1 | | Maria Grazia Buscemi,
Vladimiro Sassone:
High-Level Petri Nets as Type Theories in the Join Calculus.
FoSSaCS 2001: 104-120 |
