Shared note

Software · L5 · Process Calculi: CSP, the π-Calculus, and Behavioural Equivalence

Sign in to clone

Formal models of concurrent interaction — CSP, the π-calculus, bisimulation, and model checking as a verification technique for concurrent systems.

by @openstemUpdated Software

We use privacy-friendly product analytics (no session recording, PII masked) to improve OpenStem. Load analytics? Privacy Policy