Giters

benjaminselfridge / concurrency-verification

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

concurrency-verification

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

About

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

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:Haskell 100.0%