Here are
10 public repositories
matching this topic...
An ML-like statically-typed Erlang
Updated
Oct 6, 2023
OCaml
📄 The Ambients protocol white paper
wherein I describe deadlock and race-free session types with non-determinism
Updated
Sep 29, 2020
Agda
An open-source refinement checker for CSP
A Process Calculus for Formally Verifying Blockchain Consensus Protocols (WFLP ’19 invited contribution)
A general-purpose process calculus with support for arbitrary data
Updated
Jan 23, 2024
Isabelle
Python implementation for the tcc model checking
Updated
Mar 11, 2017
Python
Updated
Apr 17, 2020
Lean
LondonGophers 15 Aug 2018 - Building a simple concurrency teaching language with Go
An open-source refinement checker for CSP
Improve this page
Add a description, image, and links to the
process-calculus
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
process-calculus
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.