boystrange/FairCheck

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.

语言：Haskell · GitHub 星标：3 · Fork：0

话题：deadlock-freedom · fairness · liveness-checker · pi-calculus · session-types · type-checker

在 GitHub 上查看原仓库