Maria Grazia Buscemi

Sonia Taneja

J. Grid Comput., 2012

2011

QoS negotiation in service composition.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2011

Constraints for Service Contracts.

[BibT_eX]

[DOI]

Mariangiola Dezani-Ciancaglini

Mario Coppo

Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011

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

[BibT_eX]

[DOI]

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

Contracts for Abstract Processes in Service Composition

[BibT_eX]

[DOI]

Hernán C. Melgratti

Proceedings of the Proceedings Foundations for Interface Technologies, 2010

Toward a Game-Theoretic Model of Grid Systems.

[BibT_eX]

[DOI]

Sonia Taneja

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

Adaptive fuzzy-valued service selection.

[BibT_eX]

[DOI]

Davide Bacciu

Lusine Mkrtchyan

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

2009

Abstract Processes in Orchestration Languages.

[BibT_eX]

[DOI]

Hernán C. Melgratti

Proceedings of the Programming Languages and Systems, 2009

2008

A survey of constraint-based programming paradigms.

[BibT_eX]

[DOI]

Comput. Sci. Rev., 2008

Open Bisimulation for the Concurrent Constraint Pi-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2008

A Category of Explicit Fusions.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, 2008

2007

A compositional coalgebraic model of fusion calculus.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2007

Transactional Service Level Agreement.

[BibT_eX]

[DOI]

Hernán C. Melgratti

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Constraint-Based Policy Negotiation and Enforcement for Telco Services.

[BibT_eX]

[DOI]

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

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

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2007

2005

A method for symbolic analysis of security protocols.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

A Compositional Coalgebraic Model of a Fragment of Fusion Calculus.

[BibT_eX]

[DOI]

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

A General Name Binding Mechanism.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing, International Symposium, 2005

2004

D-Fusion: A Distinctive Fusion Calculus.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2003

Models for mobility and security in distributed systems.

[BibT_eX]

[DOI]

PhD thesis, 2003

Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2003, 2003

2002

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

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

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

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2002, 2002

A Framework for the Analysis of Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2002, 2002

2001

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

[BibT_eX]

[DOI]