"On the Expressivity of Symmetry in Event Structures."

Sam Staton, Glynn Winskel (2010)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics