Brenner is a calculus for reasoning about task parallelism and barrier synchronization. This calculus distils the semantics of phasers and unifies the synchronisation patterns of various abstractions.
Home Page:https://gitlab.com/cogumbreiro/brenner-coq
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool