pi-calculus

FairCheck is a type checker for a calculus of binary sessions. The type system guarantees that well-typed programs terminate under a strong fairness assumption.

session-types fairness type-checker pi-calculus deadlock-freedom liveness-checker

Updated Dec 30, 2021
Haskell

Improve this page

Add a description, image, and links to the pi-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 pi-calculus topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

pi-calculus

Here are 5 public repositories matching this topic...

jfaure / lfvm-stg

less-wrong / less-wrong

alexj136 / gvcalc

Selich / Piccolo

boystrange / FairCheck

Improve this page

Add this topic to your repo