benjaminselfridge / concurrency-verification

Haskell rendering of examples from "Concurrency Verification" by de Roever et al.

Geek Repo

Github PK Tool