process-calculus

There are 10 repositories under process-calculus topic.

gfngfn/Sesterl
An ML-like statically-typed Erlang
Language:OCaml154 8 295
ambientsprotocol/whitepaper
📄 The Ambients protocol white paper
Language:CSS46 7 23
wenkokke/paper-races-in-classical-linear-logic
wherein I describe deadlock and race-free session types with non-determinism
Language:Agda4 4 01
himito/tccMChecker
Python implementation for the tcc model checking
Language:Python2 1 00
hst/hst-c
An open-source refinement checker for CSP
Language:C2 0 00
input-output-hk/thorn-calculus
A general-purpose process calculus with support for arbitrary data
Language:Isabelle2 7 752
jeltsch/wflp-2019
A Process Calculus for Formally Verifying Blockchain Consensus Protocols (WFLP ’19 invited contribution)
Language:TeX2 1 490
continuouspi/lean-cpi
Language:Lean1 3 20
hst/hst-cpp
An open-source refinement checker for CSP
Language:C++0 0 00
nickng/londongophers-aug18
LondonGophers 15 Aug 2018 - Building a simple concurrency teaching language with Go
Language:Go3 0