An ML-like statically-typed Erlang
📄 The Ambients protocol white paper
wherein I describe deadlock and race-free session types with non-determinism
A Process Calculus for Formally Verifying Blockchain Consensus Protocols (WFLP ’19 invited contribution)
An open-source refinement checker for CSP
A general-purpose process calculus with support for arbitrary data
Python implementation for the tcc model checking
LondonGophers 15 Aug 2018 - Building a simple concurrency teaching language with Go
An open-source refinement checker for CSP
Add a description, image, and links to the process-calculus topic page so that developers can more easily learn about it.
To associate your repository with the process-calculus topic, visit your repo's landing page and select "manage topics."