127
click to vote
LICS
2010
IEEE
15 years 9 days ago
2010
IEEE
—This paper establishes a bridge between presheaf models for concurrency and the more operationally-informative world of event structures. It concentrates on a particular preshea...