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 …

Mobile systems, whose components communicate and change their structure, now pervade
the informational world and the wider world of which it is a part. The science of mobile …

Induction is a pervasive tool in computer science and mathematics for defining objects and
reasoning on them. Coinduction is the dual of induction and as such it brings in quite …

We study the interaction of the programming construct “new,” which generates statically
scoped names, with communication via messages on channels. This interaction is crucial in …

We extend the π-calculus, a model of concurrent processes based on the notion of naming,
to cope with performance modelling. The new language is called the stochastic π-calculus …

The economy and flexibility of the pi-calculus make it an attractive object of theoretical study
and a clean basis for concurrent language design and implementation. However, such …

The π-calculus is a process algebra that supports mobility by focusing on the communication
of channels. Milner's presentation of the π-calculus includes a type system assigning arities …

Concurrency is concerned with the fundamental aspects of systems of multiple,
simultaneously active computing agents that interact with one another. This notion is …

A key aspect of the design of any software system is its architecture. An architecture
description, from a runtime perspective, should provide a formal specification of the …

Milner, Parrow, and Walker's π-calculus [MPW92, Mil91] generalizes the channel-based
communication of CCS and its relatives by allowing channels to be passed as data along …