MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Roberto Lucchi" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

13 documents found, showing 1 through 10. Next 10 →

ATOM

Formalizing mobility in Service Oriented Computing
by Claudio Guidi, Roberto Lucchi
… Zamboni 7, I-40127 Bologna, Italy. Email: cguidi@(email omitted); Roberto Lucchi European Commission, DG Joint…
Add To MetaCart

Mobility mechanisms in service oriented computing
by Claudio Guidi, Roberto Lucchi — 2006 — In: Proc. of 8th International Conference on on Formal Methods for Open ObjectBased Distributed Systems
…Mobility mechanisms in Service Oriented Computing ⋆ Claudio Guidi and Roberto Lucchi Department…
Cited by 3 (1 self) – Add To MetaCart

A pi-calculus based semantics for ws-bpel
by Roberto Lucchi, Manuel Mazzara — 2005 — Journal of Logic and Algebraic Programming
…A pi-calculus based semantics for WS-BPEL Roberto Lucchi and Manuel Mazzara 1 Dipartimento di…
Cited by 11 (4 self) – Add To MetaCart

R.: Reasoning About Interaction Patterns in Choreography. In: M. Bravetti et al
by Roberto Gorrieri, Claudio Guidi, Roberto Lucchi — 2005 — Eds.): Second International Workshop on Web Services and Formal Methods, LNCS 3670
…Reasoning about interaction patterns in Choreography Roberto Gorrieri, Claudio Guidi, and Roberto…
Cited by 3 (0 self) – Add To MetaCart

Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model
by Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro — 2004 — In Proc. of 7th International Conference on Coordination Models and Languages (Coordination 04), volume 2949 of LNCS
…, Roberto Gorrieri, Roberto Lucchi, and Gianluigi Zavattaro Dipartimento di Scienze dell…
Cited by 1 (1 self) – Add To MetaCart

Web Services for E-commerce: guaranteeing security access and quality of service
by Mario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri — 2004 — in Proc. of the 19th ACM Symposium on Applied Computing (SAC’04), special track on E-Commerce Technologies, ACM Press
… Roberto Lucchi Gianluigi Zavattaro Roberto Gorrieri Department of Computer ScienceUniversity of Bologna…
Cited by 1 (1 self) – Add To MetaCart

Secspaces: a data-driven coordination model for environments open to untrusted agents
by Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro — 2002 — In Electronic Notes in Theoretical Computer Science
… to Untrusted Agents ⋆ Abstract Nadia Busi, Roberto Gorrieri, Roberto Lucchi and Gianluigi Zavattaro…
Cited by 7 (0 self) – Add To MetaCart

Secure shared data-space Coordination Languages: a Process Algebraic survey
by Riccardo Focardi, Roberto Lucchi, Gianluigi Zavattaro — 2006 — Science of Computer Programming
…-mail:focardi@(email omitted); Roberto Lucchi Gianluigi Zavattaro Dipartimento di Scienze dell’Informazione, Università degli Studi di…
Cited by 2 (0 self) – Add To MetaCart

Towards a formal framework for choreography
by Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro — 2005 — In Proc. of 3rd International Workshop on Distributed and Mobile Collaboration (DMC 2005). IEEE Computer
…Towards a formal framework for Choreography Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto…
Cited by 10 (2 self) – Add To MetaCart

Choreography and orchestration conformance for system design
by Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro — 2006 — In COORDINATION, volume 4038 of LNCS
…, Claudio Guidi, Roberto Lucchi, and Gianluigi Zavattaro Department of Computer Science, University…
Cited by 15 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB