A class representing pi-Calculus silent actions.
A trait representing pi-Calculus agents.
A trait providing the composition operator for pi-Calculus agents.
A class representing a agent constructed by the composition of two other agents.
A class representing a agent constructed by the concatenation of a prefix and an agent.
A class representing a prefix constructed by the concatenation of two prefixes.
A trait providing the guard operator for pi-Calculus agents.
A class representing guarded agents.
A class representing a pi-Calculus link.
A class representing an action over a link as an atomic pi-Calculus prefix.
A class representing pi-Calculus conditional operator If.
A class representing a pi-Calculus name.
A class representing the Null agent.
A trait representing all pi-Calculus objects.
A trait representing pi-Calculus prefixes.
A class representing pi-Calculus agents allowing restricted agents.
A trait providing the summation operator for pi-Calculus agents.
A class representing a agent constructed by the summation of two other agents.
An object providing methods to create silent actions.
An object providing methods to create pi-Calculus agents.
An object providing methods to create pi-Calculus conditional agents.
An object providing methods to create new links.
An object providing methods to create new names, and implicit conversions for autoboxing and autounboxing.
An object providing helper methods to pi-Calculus prefixes.