An explicit fusion is one that can exist in parallel with some other process, allowing us to ask for instance how a process might behave in a context where x = ...

For the fusion calculus, explicit fusions allow us to define a local small-step reaction between a single input and output atom. Without explicit fusions, ...

An explicit fusion is a process that exists concurrently with the rest of the system and enables two names to be used interchangeably. Explicit fusions ...

An explicit fusion is a process that exists concurrently with the rest of the system, and enables two names to be used interchangeably. Explicit fusions ...

Explicit fusions can be used to analyse, in smaller steps, reactions that occur in existing process calculi. We give embedding results for the π-calculus and ...

To 'fuse' two names is to declare that they may be used interchangeably. An explicit fusion is one that can exist in parallel with some other process, allowing ...

'Explicit' means that this fusion can persist in the program, allowing us to delay and control the effect of the communication. In this sense, explicit fusions ...

Calculi with symmetric binding, in the spirit of the fusion calculus, give rise to new research problems. In this work we examine the calculus of explicit ...

To 'fuse' two names is to declare that they may be used interchangeably. An explicit fusion is one that can exist in parallel with some other process, allowing ...

This work describes a distributed virtual machine for the pi calculus which implements synchronous rendezvous without handshaking, and introduces a ...