kent-weak-memory / event-structure-compiler

Compiles pseudo code into relational representations of Event Structures

Geek Repo

Github PK Tool