Travelled to:1 × Hungary
1 × Italy
1 × Portugal
1 × Spain
1 × Switzerland
1 × United Kingdom
Collaborated with:U.Montanari H.C.Melgratti M.Boreale V.Sassone D.Bacciu L.Mkrtchyan
Talks about:constraint (2) calculus (2) languag (2) servic (2) level (2) agreement (1) protocol (1) orchestr (1) abstract (1) specifi (1)
Person: Maria Grazia Buscemi
DBLP: Buscemi:Maria_Grazia
Contributed to:
2010
2009200820072002
2001Wrote 6 papers:
- SAC-2010-BacciuBM #adaptation
- Adaptive fuzzy-valued service selection (DB, MGB, LM), pp. 2467–2471.
- ESOP-2009-BuscemiM #distributed #process
- Abstract Processes in Orchestration Languages (MGB, HCM), pp. 301–315.
- ESOP-2008-BuscemiM #bisimulation #concurrent #constraints #π-calculus
- Open Bisimulation for the Concurrent Constraint π-Calculus (MGB, UM), pp. 254–268.
- ESOP-2007-BuscemiM #constraints #named #specification
- CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements (MGB, UM), pp. 18–32.
- SAC-2002-BorealeB #analysis #automation #protocol #security
- Experimenting with STA, a tool for automatic analysis of security protocols (MB, MGB), pp. 281–285.
- FoSSaCS-2001-BuscemiS #calculus #petri net
- High-Level Petri Nets as Type Theories in the Join Calculus (MGB, VS), pp. 104–120.