Categorical combinatorics of scheduling and synchronization in game semantics

Paul-André Melliès. Categorical combinatorics of scheduling and synchronization in game semantics. Proceedings of the ACM on Programming Languages, 3, 2019. [doi]

Abstract

Abstract is missing.