Event Structures for Resolvable Conflict.

Rob J. van Glabbeek, Gordon D. Plotkin

Browse the full MFCS paper archive.