Abstract is missing.
- Understanding Distributed Services through the π-CalculusKohei Honda. 1 [doi]
- Reliable Contracts for Unreliable Half-Duplex CommunicationsÉtienne Lozes, Jules Villard. 2-16 [doi]
- Behavior Based Service CompositionFangzhe Chang, Pavithra Prabhakar, Ramesh Viswanathan. 17-31 [doi]
- Compatibility of Data-Centric Web ServicesBenoît Masson, Loïc Hélouët, Albert Benveniste. 32-47 [doi]
- Time and Exceptional Behavior in Multiparty Structured InteractionsHugo A. López, Jorge A. Pérez. 48-63 [doi]
- Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations - A Process Algebra PerspectiveManuel Mazzara, Faisal Abouzaid, Nicola Dragoni, Anirban Bhattacharyya. 64-78 [doi]
- An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource FrameworkJosé Antonio Mateo, Valentin Valero, Gregorio Díaz. 79-94 [doi]
- Design of a BPEL Verification ToolElie Fares, Jean-Paul Bodeveix, Mamoun Filali. 95-110 [doi]
- Applying Process Analysis to the Italian eGovernment Enterprise ArchitectureRoberto Bruni, Andrea Corradini, Gian Luigi Ferrari, Tito Flagella, Roberto Guanciale, Giorgio Spagnolo. 111-127 [doi]
- Domain-Specific Multi-modeling of Security Concerns in Service-Oriented ArchitecturesJuan Pedro Silva Gallino, Miguel A. de Miguel, Javier Fernández Briones, Alejandro Alonso. 128-142 [doi]