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)
Python implementation for the tcc model checking
Updated
Mar 11, 2017
Python
A general-purpose process calculus with support for arbitrary data
Updated
Jan 23, 2024
Isabelle
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.