On the Expressivity of Symmetry in Event Structures
Sam Staton and Glynn Winskel
Book Title
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science‚ LICS 2010‚ 11−14 July 2010‚ Edinburgh‚ United Kingdom
Pages
392–401
Publisher
IEEE Computer Society
Year
2010