We introduce COWS (Calculus for Orchestration of Web Services), a new foundational
language for SOC whose design has been influenced by WS-BPEL, the de facto standard …

In the context of Service Oriented Computing, contracts are descriptions of the externally
observable behaviour of services. Given a group of collaborating services, their contracts …

In the context of Service Oriented Computing, contracts are descriptions of the observable
behaviour of services. Contracts have been already successfully exploited to solve the …

We propose a formal theory of contract-based computing. We model contracts as formulae in
an intuitionistic logic extended with a" contractual''form of implication. Decidability holds for …

In the context of Service Oriented Computing, contracts are descriptions of the observable
message-passing behavior of services. Contracts have been already successfully exploited …

The PiDuce project comprises a programming language and a distributed runtime
environment devised for experimenting Web services technologies by relying on solid …

Distributed applications can be structured as parties that exchange messages according to
some pre-arranged communication patterns. These sessions (or contracts, or protocols) …

We present CO2, a parametric calculus for contract-based computing in distributed systems.
By abstracting from the actual contract language, our calculus generalises both the contracts …

Distributed applications can be structured as parties that exchange messages according to
some pre-arranged communication patterns. These sessions (or contracts, or protocols) …

We introduce a type system providing a guarantee of client progress for a fragment of
CaSPiS, a recently proposed process calculus for serviceoriented applications. The …