From Theory to Practice in Transactional Composition of Web Services. - Roberto Bruni 001; Gian-Luigi Ferrari 002; Hernán C. Melgratti; Ugo Montanari; Daniele Strollo; Emilio Tuosto (EPEW/WS-FM, 2005)

JSCL: A Middleware for Service Coordination. - Gian-Luigi Ferrari 002; Roberto Guanciale; Daniele Strollo (FORTE, 2006)

Event Based Service Coordination over Dynamic and Heterogeneous Networks. - Gian-Luigi Ferrari 002; Roberto Guanciale; Daniele Strollo (ICSOC, 2006)

Coordination Via Types in an Event-Based Framework. - Gianluigi Ferrari 002; Roberto Guanciale; Daniele Strollo; Emilio Tuosto (FORTE, 2007)

Event-Based Service Coordination. - Gian-Luigi Ferrari 002; Roberto Guanciale; Daniele Strollo; Emilio Tuosto (Concurrency, Graphs and Models, 2008)

Checking Correctness of Transactional Behaviors. - Vincenzo Ciancia; Gian-Luigi Ferrari 002; Roberto Guanciale; Daniele Strollo (FORTE, 2008)

Refactoring Long Running Transactions. - Gian-Luigi Ferrari 002; Roberto Guanciale; Daniele Strollo; Emilio Tuosto (WS-FM, 2008)

Debugging Distributed Systems with Causal Nets. - Gian-Luigi Ferrari 002; Roberto Guanciale; Daniele Strollo; Emilio Tuosto (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Global Coordination Policies for Services. - Vincenzo Ciancia; Gian-Luigi Ferrari 002; Roberto Guanciale; Daniele Strollo (FACS, 2008)

BPMN Modelling of Services with Dynamically Reconfigurable Transactions. - Laura Bocchi; Roberto Guanciale; Daniele Strollo; Emilio Tuosto (ICSOC, 2010)

Refactoring Long Running Transactions: A Case Study. - Gian-Luigi Ferrari 002; Roberto Guanciale; Daniele Strollo; Emilio Tuosto (TGC, 2010)

Event based choreography. - Vincenzo Ciancia; Gian-Luigi Ferrari 002; Roberto Guanciale; Daniele Strollo (Sci. Comput. Program., 2010)

Model-Driven Development of Long Running Transactions. - Vincenzo Ciancia; Gian-Luigi Ferrari 002; Roberto Guanciale; Daniele Strollo; Emilio Tuosto (Results of the SENSORIA Project, 2011)