Browse by Author ID

Buscemi, Maria Grazia and De Nicola, Rocco and Melgratti, Hernán C. Contractual Testing. Working Paper # /2012 (Unpublished)

Buscemi, Maria Grazia and Montanari, Ugo and Taneja, Sonia A Game-Theoretic Analysis of Grid Job Scheduling. Journal of Grid Computing, 10 (3). pp. 501-519. ISSN 1570-7873 (2012)

Bonchi, Filippo and Buscemi, Maria Grazia and Ciancia, Vincenzo and Gadducci, Fabio A Presheaf Environment for the Explicit Fusion Calculus. Journal of Automated Reasoning - Special issue on Binding, Substitution and Naming, 49 (2). pp. 161-183. ISSN 0168-7433 (2012)

Buscemi, Maria Grazia and Coppo, Mario and Dezani-Ciancaglini, Mariangiola and Montanari, Ugo Constraints for Service Contracts. Technical Report # /2011 Università di Pisa, Dipartimento di Informatica

Buscemi, Maria Grazia and Melgratti, Hernán C. Contracts for Abstract Processes in Service Composition. In: Proceedings Foundations for Interface Technologies (FIT’10). Electronic Proceedings in Theoretical Computer, 46 . Electronic Proceedings in Theoretical Computer Science, pp. 9-27. (2011)

Buscemi, Maria Grazia and Coppo, Mario and Dezani-Ciancaglini, Mariangiola and Montanari, Ugo Constraints for Service Contracts. Working Paper # /2011 (Submitted)

Buscemi, Maria Grazia and Montanari, Ugo QoS Negotiation in Service Composition. Journal of Logic and Algebraic Programming, 80 (1). pp. 13-24. ISSN 1567-8326 (2011)

Bacciu, Davide and Buscemi, Maria Grazia and Mkrtchyan, Lusine Adaptive Fuzzy-valued Service Selection. In: Proceedings of ACM Symposium in Applied Computing (SAC ’10). ACM Press, Sierre, Switzerland, pp. 2467-2471. ISBN 978-1-60558-639-7 (2010)

Buscemi, Maria Grazia and Montanari, Ugo and Taneja, Sonia Toward a Game-Theoretic Model of Grid Systems. In: Post-proceedings of the 5th Symposium on Trustworthy Global Computing (TGC’10). Lecture Notes in Computer Science, 6084 . Springer, pp. 57-72. ISBN 978-3-642-15639-7 (2010)

Buscemi, Maria Grazia and Melgratti, Hernán C. Abstract Processes in Orchestration Languages. In: Proceedings of the 18th European Symposium on Programming (ESOP’09). Lecture Notes in Computer Science, 5502 . Springer, pp. 301-315. ISBN 978-3-642-00589-3 (2009)

Bonchi, Filippo and Buscemi, Maria Grazia and Ciancia, Vincenzo and Gadducci, Fabio A Category of Explicit Fusions. In: Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. Lecture Notes in Computer Science, 5065 . Springer, pp. 544-562. ISBN 978-3-540-68676-7 (2008)

Buscemi, Maria Grazia and Montanari, Ugo Open Bisimulation for the Concurrent Constraint Pi-Calculus. In: Proceedings of the 17th European Symposium on Programming (ESOP’08). Lecture Notes in Computer Science, 4960 . Springer, pp. 254-268. ISBN 978-3-540-78738-9 (2008)

Buscemi, Maria Grazia and Montanari, Ugo A Survey of Constraint-based Programming Paradigms. Computer Science Review, 2 (3). pp. 137-141. ISSN 1574-0137 (2008)

Buscemi, Maria Grazia and Melgratti, Hernán C. Transactional Service Level Agreement. In: Post-proceedings of the 3rd Symposium on Trustworthy Global Computing (TGC’07). Lecture Notes in Computer Science, 4912 . Springer, pp. 124-139. ISBN 978-3-540-78662-7 (2008)

Buscemi, Maria Grazia and Montanari, Ugo CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. In: Proceedings of the 16th European Symposium on Programming (ESOP’07). Lecture Notes in Computer Science, 4421 . Springer, pp. 18-32. ISBN 978-3-540-71314-2 (2007)

Buscemi, Maria Grazia and Montanari, Ugo A Compositional Coalgebraic Model of Fusion Calculus. Journal of Logic and Algebraic Programming, 72 (1). pp. 78-97. ISSN 1567-8326 (2007)

Buscemi, Maria Grazia and Ferrari, Laura and Moiso, Corrado and Montanari, Ugo Constraint-Based Policy Negotiation and Enforcement for Telco Services. In: Proceedings of the 1st IEEE & IFIP Theoretical Aspects of Software Engineering Conference (TASE’07). IEEE Computer Society, pp. 463-472. ISBN 0-7695-2856-2 (2007)

Buscemi, Maria Grazia and Montanari, Ugo A compositional coalgebraic model of a fragment of fusion calculus. Electronic Notes in Theoretical Computer Science, 162. pp. 135-139. ISSN 1571-0661 (2006)

Buscemi, Maria Grazia and Montanari, Ugo A Compositional Coalgebraic Model of Monadic Fusion Calculus. Technical Report Università di Pisa, Dipartimento di Informatica

Boreale, Michele and Buscemi, Maria Grazia and Montanari, Ugo A General Name Binding Mechanism. In: Proceedings of Symposium on Trustworthy Global Computing (TGC ’05). Lecture Notes in Computer Science, 3705 . Springer, pp. 61-74. ISBN 3-540-30007-4 (2005)

Boreale, Michele and Buscemi, Maria Grazia A Method for Symbolic Analysis of Security Protocols. Theoretical Computer Science, 338 (1-3). pp. 393-425. ISSN 0304-3975 (2005)

Boreale, Michele and Buscemi, Maria Grazia and Montanari, Ugo D-Fusion: A Distinctive Fusion Calculus. In: Proceedings of the Second Asian Symposium on Programming Languages and Systems (APLAS’04). Lecture Notes in Computer Science, 3302 . Springer, pp. 296-310. ISBN 3-540-23724-0 (2004)

Boreale, Michele and Buscemi, Maria Grazia Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation. In: Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science (MFCS ’03). Lecture Notes in Computer Science, 2747 . Springer, pp. 269-278. ISBN 3-540-40671-9 (2003)

Buscemi, Maria Grazia and Montanari, Ugo Pi-Calculus Early Observational Equivalence: A First Order Coalgebraic Model. Technical Report Università di Pisa, Dipartimento di Informatica

Boreale, Michele and Buscemi, Maria Grazia Experimenting with STA, a Tool for Automatic Analysis of Security Protocols. In: Proceedings of ACM Symposium in Applied Computing (SAC ’02). ACM Press, Madrid, pp. 281-285. ISBN 1-58113-445-2 (2002)

Buscemi, Maria Grazia and Montanari, Ugo A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence. In: Proceedings of the 13th International Conference on Concurrency Theory (CONCUR ’02). Lecture Notes in Computer Science, 2421 . Springer, pp. 449-465. ISBN 3-540-44043-7 (2002)

Boreale, Michele and Buscemi, Maria Grazia A Framework for the Analysis of Security Protocols. In: Proceedings of the 13th International Conference on Concurrency Theory (CONCUR ’02). Lecture Notes in Computer Science, 2421 . Springer, pp. 483-498. ISBN 3-540-44043-7 (2002)

Buscemi, Maria Grazia and Sassone, Vladimiro High-Level Petri Nets as Type Theories in the Join Calculus. In: Proceedings of Foundations of Software Science and Computation Structure (FoSSaCS ’01). Lecture Notes in Computer Science, 2030 . Springer, pp. 104-120. ISBN 3-540-41864-4 (2001)