Communication is a fundamental and integral part of computing, whether between different
computers on a network, or between components within a single computer. In this book …

The world is increasingly populated with interactive agents distributed in space, real or
abstract. These agents can be artificial, as in computing systems that manage and monitor …

Automated and semi-automated manipulation of so-called labelled transition systems has
become an important means in discovering flaws in software and hardware systems …

The π-calculus is a process algebra where processes interact by sending communication
links to each other. This paper is an overview of and introduction to its basic theory. We …

Recently, the term Web services orchestration has been introduced to address some issues
related to Web services composition, that is the way of defining a complex service out of …

Equivalence checking is a formal verification approach that consists in proving that two
programs or models are related modulo some equivalence relation, or that one is included …

A notion of bigraph is introduced as a model of mobile interaction. A bigraph consists of two
independent structures: a topograph representing locality and an edge net representing …

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 Level Agreements are a key issue in Service Oriented Computing. SLA
contracts specify client requirements and service guarantees, with emphasis on Quality of …

Bigraphs are graphs whose nodes may be nested, representing locality, independently of
the edges connecting them. They may be equipped with reaction rules, forming a …