Items where Author is "Ferrari, Gianluigi"
Group by: Item Type | No Grouping Jump to: Book Number of items: 8. BookDegano, Pierpaolo and Mezzetti, Gianluca and Ferrari, Gianluigi (2011) Nominal models and resource usage control. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Ferrari, Gianluigi (2009) Choreography Rehearsal. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Bartoletti, Massimo and Degano, Pierpaolo and Ferrari, Gianluigi and Zunino, Roberto (2008) Hard life with weak binders. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Ciancia, Vincenzo and Ferrari, Gianluigi and Guanciale, Roberto and Strollo, Daniele (2008) Global Coordination Policies for Services. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Zunino, Roberto and Bartoletti, Massimo and Degano, Pierpaolo and Ferrari, Gianluigi (2008) Model checking usage policies. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Bartoletti, Massimo and Degano, Pierpaolo and Ferrari, Gianluigi (2007) Planning and Verifying Service Composition. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Ferrari, Gianluigi and Tuosto, Emilio (2004) Resources Negotiation in Systems of Mobile Components. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Ferrari, Gianluigi and Montangero, Carlo and Semini, Laura and Semprini, Simone (2003) The Mob-adtl Model and Method to Design Network Aware Applications. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. |