Towards a categorical representation of reversible event structures

Eva Graversen, Iain Phillips 0001, Nobuko Yoshida. Towards a categorical representation of reversible event structures. Journal of Logic and Algebraic Programming, 104:16-59, 2019. [doi]

Abstract

Abstract is missing.