Processes and Cloning

Process algebras such as CCS, CSP, or the pi-calculus have been proposed as calculi to capture and study semantical aspects of concurrency. Focusing on core aspects, their syntax is often quite reduced, capturing things like sequencing of actions, communication, often in the form of channel send and receive, hiding or restriction, and of course parallel composition.

This work equips a standard process algebra with an operator for cloning, i.e., an operation to obtain a replicated copy of the process being cloned.

The thesis explores the design-space discussion different ways of cloning, provides a formalization in the form of an structural operational semantics (SOS), and explores semantical consequences for the (observal) equivalence of processes with cloning.