Shared collection
Software · L5 · Process Calculi & Concurrency
Formal models of concurrent interaction: CSP, the π-calculus, bisimulation equivalence, and model checking for verifying concurrent systems.
We use privacy-friendly product analytics (no session recording, PII masked) to improve OpenStem. Load analytics? Privacy Policy