IMT Alti Studi Lucca - Lucca Institute for Advanced Studies Home  »  Who's at IMT  »  Maria Grazia Buscemi
Text size: [+]  [-]  [R]

Maria Grazia Buscemi

Marzia Buscemi
Marzia Buscemi

Conference Papers

Abstract Processes in Orchestration Languages
Maria Grazia Buscemi and Hernan Melgratti.
2009
In Proceedings of the 18th European Symposium on Programming (ESOP'09)
Lecture Notes in Computer Science
To appear.
Springer-Verlag

Transactional Service Level Agreement
Maria Grazia Buscemi and Hernan Melgratti.
2008
Post-proceedings of the 3rd Symposium on Trustworthy Global Computing (TGC'07)
Lecture Notes in Computer Science 4912
124-139
Springer-Verlag

A Category of Explicit Fusions
Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, and Fabio Gadducci
Concurrency, Graphs and Models
Lecture Notes in Computer Science 5065
544--562
Springer-Verlag

Open Bisimulation for the Concurrent Constraint Pi-calculus
Maria Grazia Buscemi and Ugo Montanari
2008
Proceedings of the 17th European Symposium on Programming (ESOP'08)
Lecture Notes in Computer Science 4960
254-268
Springer-Verlag

Constraint-Based Policy Negotiation and Enforcement for Telco Services
Maria Grazia Buscemi, Laura Ferrari, Corrado Moiso, and Ugo Montanari
2007
Proceedings of the 1st IEEE & IFIP Theoretical Aspects of Software Engineering Conference (TASE'07)
463--472
IEEE Computer Society

CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
Maria Grazia Buscemi and Ugo Montanari
2007
Proceedings of the 16th European Symposium on Programming (ESOP'07)
Lecture Notes in Computer Science 4421
18--32
Springer-Verlag

Personal Information
PhD Program
Email Addresses
IMT is not responsible for the contents of this page, which are under the exclusive control of Maria Grazia Buscemi.