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 …

Multiparty session types enforce structured safe communications between several
participants, as long as their number is fixed when the session starts. In order to handle …

We present the Calculus of Context-aware Ambients (CCA in short) for the modelling and
verification of mobile systems that are context-aware. This process calculus is built upon the …

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 …

This paper presents the Kell calculus, a family of distributed process calculi, parameterized
by languages for input patterns, that is intended as a basis for studying component-based …

Theories identifying well-formed systems of processes—those that are free of
communication errors and enjoy strong properties such as deadlock freedom—are based …

We present a comprehensive model of structured communications in which self-adaptation
and security concerns are jointly addressed. More specifically, we propose a model of …

Abstract Theory of Interaction aims to provide a foundational framework for computation and
interaction. It proposes four fundamental principles that characterize the common features of …

Distributed systems and applications are often expected to enforce high-level authorization
policies. To this end, the code for these systems relies on lower-level security mechanisms …

Distributed systems and applications are often expected to enforce high-level authorization
policies. To this end, the code for these systems relies on lower-level security mechanisms …