Process calculi and behavioural equivalence

Algebraic models of concurrent processes: labelled transition systems and their runs, strong and weak bisimulation, observational congruence, CCS (choice, parallel composition, restriction, recursion, finite-state agents) and the pi-calculus.

• Session types
• Bisimulation
• Calculus of communicating systems
• Labelled transition systems
• Observational congruence
• Finite-state CCS agents
• π-calculus

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.