| Event Structures for Resolvable Con ict (2007) | |||||||||||||||
Abstract | |||||||||||||||
| Abstract. We propose a generalisation of Winskel's event structures, matching the expressive power of arbitrary Petri nets. In particular, our event structures capture resolvable con ict, besides disjunctive and conjunctive causality. 1 | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||