Behavioural type systems, usually associated to concurrent or distributed computations,
encompass concepts such as interfaces, communication protocols, and contracts, in addition …

We illustrate the concepts of sessions and session types as they have been developed in
the setting of the π-calculus. Motivated by the goal of obtaining a formalisation closer to …

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 …

Abstract Service-oriented computing is calling for novel computational models and
languages with primitives for client-server interaction, orchestration and unexpected events …

We present a process-calculus model for expressing and analyzing service-based systems.
Our approach addresses central features of the service-oriented computational model such …

Current approaches to service composition range from industrial standards (like BPEL and
OWL-S) to formal methods (like Petri nets and process algebras). In this paper, we survey a …

We give a formal account of a calculus for modeling service-based systems, suitable to
describe both service composition (orchestration) and the protocol that services run when …

In this paper, we address the issue of rational communication behavior among autonomous
agents. The goal is for agents to learn a policy to optimize the communication needed for …

We outline a methodology for designing and composing services in a secure manner. In
particular, we are concerned with safety properties of service behaviour. Services can …

Detecting programming errors in software is increasingly important, and building tools that
help developers with this task is a crucial area of investigation on which the industry …