Maria Grazia Buscemi

发表

Open Bisimulation for the Concurrent Constraint Pi-Calculus

Ugo Montanari, Maria Grazia Buscemi, U. Montanari, 2008, ESOP.

Contracts for Abstract Processes in Service Composition

Maria Grazia Buscemi, Hernán C. Melgratti, 2010, FIT.

STA, symbolic trace analyzer

Maria Grazia Buscemi, Michele Boreale, 2002 .

High-Level Petri Nets as Type Theories in the Join Calculus

Vladimiro Sassone, Maria Grazia Buscemi, V. Sassone, 2001, FoSSaCS.

Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings

Maria Grazia Buscemi, Montanari, U. Montanari, 2007, European Symposium on Programming.

A Presheaf Environment for the Explicit Fusion Calculus

Vincenzo Ciancia, Fabio Gadducci, Filippo Bonchi, 2011, Journal of Automated Reasoning.

CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements

Ugo Montanari, Maria Grazia Buscemi, 2007, ESOP.

D-Fusion: A Distinctive Fusion Calculus

Ugo Montanari, Maria Grazia Buscemi, Michele Boreale, 2004, APLAS.

A Category of Explicit Fusions

Vincenzo Ciancia, Fabio Gadducci, Filippo Bonchi, 2008, Concurrency, Graphs and Models.

QoS negotiation in service composition

Ugo Montanari, Maria Grazia Buscemi, U. Montanari, 2011, J. Log. Algebraic Methods Program..

CC-Pi: A Constraint Language for Service Negotiation and Composition

Ugo Montanari, Maria Grazia Buscemi, 2011, Results of the SENSORIA Project.

A survey of constraint-based programming paradigms

Ugo Montanari, Maria Grazia Buscemi, U. Montanari, 2008, Comput. Sci. Rev..

A General Name Binding Mechanism

Ugo Montanari, Maria Grazia Buscemi, Michele Boreale, 2005, TGC.

A Game-Theoretic Analysis of Grid Job Scheduling

Ugo Montanari, Maria Grazia Buscemi, Sonia Taneja, 2012, Journal of Grid Computing.

D5.1.a: Process calculi and coordination languages with costs, priority and probability

Ivan Lanese, Fabio Gadducci, Rocco De Nicola, 2006 .

A Compositional Coalgebraic Model of a Fragment of Fusion Calculus

Ugo Montanari, Maria Grazia Buscemi, 2006, Electron. Notes Theor. Comput. Sci..

Adaptive fuzzy-valued service selection

Davide Bacciu, Maria Grazia Buscemi, Lusine Mkrtchyan, 2010, SAC '10.

Constraints for Service Contracts

Ugo Montanari, Mariangiola Dezani-Ciancaglini, Maria Grazia Buscemi, 2011, TGC.

Toward a Game-Theoretic Model of Grid Systems

Ugo Montanari, Maria Grazia Buscemi, Sonia Taneja, 2010, TGC.

Transactional Service Level Agreement

Maria Grazia Buscemi, Hernán C. Melgratti, 2007, TGC.

Adaptive Service Selection - A Fuzzy-valued Matchmaking Approach

Davide Bacciu, Maria Grazia Buscemi, Lusine Mkrtchyan, 2009 .

Abstract Processes in Orchestration Languages

Maria Grazia Buscemi, Hernán C. Melgratti, M. Buscemi, 2009, ESOP.

Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation

Maria Grazia Buscemi, Michele Boreale, M. Buscemi, 2003, MFCS.

A compositional coalgebraic model of fusion calculus

Ugo Montanari, Maria Grazia Buscemi, 2007, J. Log. Algebraic Methods Program..

Experimenting with STA, a tool for automatic analysis of security protocols

Maria Grazia Buscemi, Michele Boreale, 2002, SAC '02.

Constraint-Based Policy Negotiation and Enforcement for Telco Services

Laura Ferrari, Corrado Moiso, Ugo Montanari, 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).

A method for symbolic analysis of security protocols

Maria Grazia Buscemi, Michele Boreale, M. Buscemi, 2005, Theor. Comput. Sci..

A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence

Ugo Montanari, Maria Grazia Buscemi, 2002, CONCUR.

A Framework for the Analysis of Security Protocols

Maria Grazia Buscemi, Michele Boreale, M. Buscemi, 2002, CONCUR.

Pi-Calculus Early Observational Equivalence: A First Order Coalgebraic Model

Ugo Montanari, Maria Grazia Buscemi, 2002 .