dfava / mmgo

Operational Semantics of a Weak Memory Model with Channel Synchronization

Geek Repo

Github PK Tool