3 citations · 5 across the 4 of their papers we have counts for
1 paper · 2 filters
Eva Graversen, Iain Phillips, Nobuko Yoshida
We study categories for reversible computing, focussing on reversible forms of event structures. Event structures are a well-established model of true concurrency. There exist a nu…