π-calculus

• The π-calculus: syntax, substitution, structural congruence, reduction
• Strong free-channel barbed bisimilarity
• Scope preservation for π-calculus names and processes
• Structural laws under π-calculus observers

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.