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

We introduce basic language constructs and a type discipline as a foundation of structured
communication-based concurrent programming. The constructs, which are easily …

Communication is becoming one of the central elements in software development. As a
potential typed foundation for structured communication-centred programming, session …

We introduce the spi calculus, an extension of the pi calculus designed for the description
and analysis of cryptographic protocols. We show how to use the spi calculus, particularly for …

Communication is a central elements in software development. As a potential typed
foundation for structured communication-centered programming, session types have been …

Extending the pi calculus with the session types proposed by Honda et al. allows high-level
specifications of structured patterns of communication, such as client-server protocols, to be …

By adding reflexion to the chemical machine of Berry and Boudol, we obtain a formal model
of concurrency that is consistent with mobility and distribution. Our model provides the …

We present a small language L and its typing system, starting from the idea of interaction,
one of the important notions in parallel and distributed computing. L is based on, apart from …

We investigate the issue of designing a kernel programming language for mobile computing
and describe KLAIM, a language that supports a programming paradigm where processes …

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 …