SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents. - Nadia Busi; Roberto Gorrieri; Roberto Lucchi; Gianluigi Zavattaro (FOCLASA, 2002)

A formal approach for checking security properties in SecSpaces. - Mario Bravetti; Roberto Gorrieri; Roberto Lucchi (SecCo, 2003)

Combining Partitions in SecSpaces. - Mario Bravetti; Roberto Gorrieri; Roberto Lucchi; Gianluigi Zavattaro (MEFISTO, 2003)

Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. - Mario Bravetti; Roberto Gorrieri; Roberto Lucchi; Gianluigi Zavattaro (COORDINATION, 2004)

Security Issues in the Tuple-Space Coordination Model. - Mario Bravetti; Nadia Busi; Roberto Gorrieri; Roberto Lucchi; Gianluigi Zavattaro (Formal Aspects in Security and Trust, 2004)

Web Services for E-commerce: guaranteeing security access and quality of service. - Mario Bravetti; Roberto Lucchi; Gianluigi Zavattaro; Roberto Gorrieri (SAC, 2004)

WSSecSpaces: a secure data-driven coordination service for Web Services applications. - Roberto Lucchi; Gianluigi Zavattaro (SAC, 2004)

On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda. - Mario Bravetti; Roberto Gorrieri; Roberto Lucchi; Gianluigi Zavattaro (SecCo, 2004)

A Formal Framework for Web Services Coordination. - Claudio Guidi; Roberto Lucchi; Manuel Mazzara (FOCLASA, 2004)

A Framework for Generic Error Handling in Business Processes. - Manuel Mazzara; Roberto Lucchi (WSFM, 2004)

Security, probability and priority in the tuple-space coordination model. - Roberto Lucchi (2004)

Reasoning About Interaction Patterns in Choreography. - Roberto Gorrieri; Claudio Guidi; Roberto Lucchi (EPEW/WS-FM, 2005)

Choreography and Orchestration: A Synergic Approach for System Design. - Nadia Busi; Roberto Gorrieri; Claudio Guidi; Roberto Lucchi; Gianluigi Zavattaro (ICSOC, 2005)

Supporting e-commerce systems formalization with choreography languages. - Mario Bravetti; Claudio Guidi; Roberto Lucchi; Gianluigi Zavattaro (SAC, 2005)

Towards a formal framework for Choreography. - Nadia Busi; Roberto Gorrieri; Claudio Guidi; Roberto Lucchi; Gianluigi Zavattaro (WETICE, 2005)

Quantitative information in the tuple space coordination model. - Mario Bravetti; Roberto Gorrieri; Roberto Lucchi; Gianluigi Zavattaro (Theor. Comput. Sci., 2005)

Atomic Commit and Negotiation in Service Oriented Computing. - Laura Bocchi; Roberto Lucchi (COORDINATION, 2006)

Choreography and Orchestration Conformance for System Design. - Nadia Busi; Roberto Gorrieri; Claudio Guidi; Roberto Lucchi; Gianluigi Zavattaro (COORDINATION, 2006)

Mobility Mechanisms in Service Oriented Computing. - Claudio Guidi; Roberto Lucchi (FMOODS, 2006)

: A Calculus for Service Oriented Computing. - Claudio Guidi; Roberto Lucchi; Roberto Gorrieri; Nadia Busi; Gianluigi Zavattaro (ICSOC, 2006)

SensoriaProcess Calculi for Service-Oriented Computing. - Martin Wirsing; Rocco De Nicola; Stephen Gilmore; Matthias M. Hölzl; Roberto Lucchi; Mirco Tribastone; Gianluigi Zavattaro (TGC, 2006)

JOLIE: a Java Orchestration Language Interpreter Engine. - Fabrizio Montesi; Claudio Guidi; Roberto Lucchi; Gianluigi Zavattaro (CoOrg/MTCoord@COORDINATION, 2006)

Supporting Secure Coordination in SecSpaces. - Roberto Gorrieri; Roberto Lucchi; Gianluigi Zavattaro (Fundam. Informaticae, 2006)

Secure shared data-space coordination languages: A process algebraic survey. - Riccardo Focardi; Roberto Lucchi; Gianluigi Zavattaro (Sci. Comput. Program., 2006)

A Rule-Based Description Framework for the Composition of Geographic Information Services. - Michael Lutz 001; Roberto Lucchi; Anders Friis-Christensen; Nicole Ostländer (GeoS, 2007)

A pi-calculus based semantics for WS-BPEL. - Roberto Lucchi; Manuel Mazzara (J. Log. Algebraic Methods Program., 2007)

Formalizing Mobility in Service Oriented Computing. - Claudio Guidi; Roberto Lucchi (J. Softw., 2007)

Service chaining architectures for applications implementing distributed geographic information processing. - Anders Friis-Christensen; Roberto Lucchi; Michael Lutz 001; Nicole Ostländer (Int. J. Geogr. Inf. Sci., 2009)