Projects in Awesome Lists tagged with process-calculus
A curated list of projects in awesome lists tagged with process-calculus .
https://github.com/gfngfn/sesterl
An ML-like statically-typed Erlang
actor-model concurrent-programming erlang f-ing-modules module-system monad ocaml process-calculus programming-language sesterl statically-typed type-system
Last synced: 16 Mar 2025
https://github.com/ambientsprotocol/whitepaper
📄 The Ambients protocol white paper
ambient-calculus decentralized distributed-computing functional-programming p2p process-calculus
Last synced: 02 Aug 2025
https://github.com/wenkokke/paper-races-in-classical-linear-logic
wherein I describe deadlock and race-free session types with non-determinism
non-determinism paper process-calculus races type-system
Last synced: 24 Apr 2025
https://github.com/jeltsch/wflp-2019
A Process Calculus for Formally Verifying Blockchain Consensus Protocols (WFLP ’19 invited contribution)
blockchain distributed-computing formal-verification functional-programming higher-order-abstract-syntax process-calculus
Last synced: 24 Feb 2026
https://github.com/himito/tccmchecker
Python implementation for the tcc model checking
model-checking process-calculus python tcc
Last synced: 28 May 2026
https://github.com/input-output-hk/thorn-calculus
A general-purpose process calculus with support for arbitrary data
concurrency distributed-systems process-calculus
Last synced: 18 Feb 2026
https://github.com/nickng/londongophers-aug18
LondonGophers 15 Aug 2018 - Building a simple concurrency teaching language with Go
code-generation process-calculus static-analysis
Last synced: 09 Apr 2025
