We present a process algebra aimed at describing interactions that are multiparty, ie that
may involve more than two processes and that are open, ie the number of the processes …

We present the link-calculus, a process calculus based on interactions that are multiparty, ie,
that may involve more than two processes and are open, ie, the number of involved …

The link-calculus is a model for concurrency that extends the point-to-point communication
discipline of Milner's CCS with multiparty interactions. Links are used to build chains …

We present the link-calculus, an extension of π-calculus, that models interactions that are
multiparty, ie that may involve more than two processes, mutually exchanging data …

Traditional process calculi usually abstract away from network details, modeling only
communication over shared channels. They, however, seem inadequate to describe new …

Our real world environments today are filled with lots of embedded intelligent devices with
communication capabilities like smart phone, embedded computers, sensor devices, etc …

The diffusion of adaptive systems motivate the study of models of software entities whose
interaction capabilities can evolve dynamically. In this paper we overview the contributions …

A peer-to-peer (p2p) system provides the networking substrate for the execution of
distributed applications. It is made of peers that interact over an overlay network. Overlay …

Abstract The Core Network Algebra (CNA) is a model for concurrency that extends the point-
to-point communication discipline of Milner's CCS with multiparty interactions. Links are …

Multiparty interactions are common place in today's distributed systems. An agent usually
communicates, in a single session, with other agents to accomplish a given task. Take for …