|
||||||||||
|
||||||||||
Maria Grazia Buscemi |
||||||||||
Conference PapersAbstract 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. | ||||||||||
|
||||||||||