process-calculus

There are 0 repository under process-calculus topic.

gfngfn / Sesterl
An ML-like statically-typed Erlang
erlang process-calculus actor-model type-system ocaml monad concurrent-programming f-ing-modules module-system statically-typed programming-language sesterl
Language:OCaml 150
ambientsprotocol / whitepaper
📄 The Ambients protocol white paper
distributed-computing p2p decentralized process-calculus ambient-calculus functional-programming
Language:CSS 46
wenkokke / paper-races-in-classical-linear-logic
wherein I describe deadlock and race-free session types with non-determinism
paper type-system process-calculus races non-determinism
Language:Agda 3
himito / tccMChecker
Python implementation for the tcc model checking
model-checking process-calculus python tcc
Language:Python 2
hst / hst-c
An open-source refinement checker for CSP
csp process-calculus formal-methods communicating-sequential-processes
Language:C 2
input-output-hk / thorn-calculus
A general-purpose process calculus with support for arbitrary data
process-calculus concurrency distributed-systems
Language:Isabelle 2
jeltsch / wflp-2019
A Process Calculus for Formally Verifying Blockchain Consensus Protocols (WFLP ’19 invited contribution)
blockchain distributed-computing formal-verification process-calculus functional-programming higher-order-abstract-syntax
Language:TeX 2
continuouspi / lean-cpi
lean theorem-proving systems-biology process-calculus
Language:Lean 1
hst / hst-cpp
An open-source refinement checker for CSP
csp process-calculus formal-methods communicating-sequential-processes
Language:C++ 0
nickng / londongophers-aug18
LondonGophers 15 Aug 2018 - Building a simple concurrency teaching language with Go
static-analysis process-calculus code-generation
Language:Go