Skip to main content

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