gfngfn/Sesterl

An ML-like statically-typed Erlang

Language: OCaml - Size: 1.19 MB - Last synced at: 27 days ago - Pushed at: over 1 year ago - Stars: 152 - Forks: 5

ambientsprotocol/whitepaper

📄 The Ambients protocol white paper

Language: CSS - Size: 611 KB - Last synced at: 5 months ago - Pushed at: about 3 years ago - Stars: 47 - Forks: 4

wenkokke/paper-races-in-classical-linear-logic 📦

wherein I describe deadlock and race-free session types with non-determinism

Language: Agda - Size: 9.29 MB - Last synced at: 5 days ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 1

input-output-hk/thorn-calculus

A general-purpose process calculus with support for arbitrary data

Language: Isabelle - Size: 262 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 2

jeltsch/wflp-2019

A Process Calculus for Formally Verifying Blockchain Consensus Protocols (WFLP ’19 invited contribution)

Language: TeX - Size: 133 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0

hst/hst-c

An open-source refinement checker for CSP

Language: C - Size: 1.36 MB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 0

continuouspi/lean-cpi

Language: Lean - Size: 510 KB - Last synced at: 5 months ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

himito/tccMChecker

Python implementation for the tcc model checking

Language: Python - Size: 2.05 MB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0

nickng/londongophers-aug18

LondonGophers 15 Aug 2018 - Building a simple concurrency teaching language with Go

Language: Go - Size: 22.5 KB - Last synced at: 20 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

hst/hst-cpp

An open-source refinement checker for CSP

Language: C++ - Size: 195 KB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

synthetic/repr

The 'regular expressions as linear logic' interpretation and its implementation

Last synced at: 9 months ago - Stars: 0 - Forks: 0