Web Services and Models of Computation

We review the challenges of providing Web Services, especially those this new technology will impose on models of computation.

[1]  Emilio Tuosto,et al.  A Formal Basis for Reasoning on Programmable QoS , 2003, Verification: Theory and Practice.

[2]  Roberto Bruni,et al.  Orchestrating Transactions in Join Calculus , 2002, CONCUR.

[3]  Emilio Tuosto,et al.  A LTS Semantics of Ambients via Graph Synchronization with Mobility , 2001, ICTCS.

[4]  Cosimo Laneve,et al.  The Fusion Machine , 2002, CONCUR.

[5]  Francesca Rossi,et al.  Semiring-based constraint satisfaction and optimization , 1997, JACM.

[6]  Björn Victor,et al.  The fusion calculus: expressiveness and symmetry in mobile processes , 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).

[7]  Roberto Bruni,et al.  Concurrent models for Linda with transactions , 2004, Math. Struct. Comput. Sci..

[8]  Paola Inverardi,et al.  Reconfiguration of Software Architecture Styles with Name Mobility , 2000, COORDINATION.

[9]  Luca Cardelli,et al.  Modern Concurrency Abstractions for C# , 2002, ECOOP.

[10]  Ugo Montanari,et al.  Synchronized Hyperedge Replacement with Name Mobility , 2001, CONCUR.

[11]  Roberto Bruni,et al.  Zero-Safe Nets: Comparing the Collective and Individual Token Approaches , 2000, Inf. Comput..

[12]  Roberto Bruni,et al.  Flat Committed Join in Join , 2004, Electron. Notes Theor. Comput. Sci..

[13]  Cosimo Laneve,et al.  The fusion machine (Extended abstract) , 2002 .

[14]  Emilio Tuosto,et al.  Graph-Based Models of Internetworking Systems , 2002, 10th Anniversary Colloquium of UNU/IIST.

[15]  Laura Bocchi,et al.  A Calculus for Long-Running Transactions , 2003, FMOODS.