Graversen, Eva
Phillips, Iain
Yoshida, Nobuko
Funding for this research was provided by:
EPSRC (DTP)
EPSRC (EP/K034413/1, EP/K011715/1, EP/L00058X/1, EP/N027833/1, EP/N028201/1)
FP7 (612985)
COST (IC1405)
This article is maintained by: Elsevier
Article Title: Towards a categorical representation of reversible event structures
Journal Title: Journal of Logical and Algebraic Methods in Programming
CrossRef DOI link to publisher maintained version: https://doi.org/10.1016/j.jlamp.2019.01.001
Content Type: article
Copyright: © 2019 Elsevier Inc.