Output details
11 - Computer Science and Informatics
University of Cambridge
Return to search
Output 0 of 0 in the submission
Output title
On the expressivity of symmetry in event structures
Type
E - Conference contribution
Name of conference/published proceedings
25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010)
Volume number
-
Issue number
-
First page of article
392
ISSN of proceedings
1043-6871
Year of publication
2010
URL
-
Number of additional authors
1
Additional information
<10> This article connects two different notions of concurrent computation: a concrete model, event structures, and an abstract model, presheaves. The venue, LICS, is the top logic conference in computer science. LICS 2010 accepted 39 of 149 submissions. I was invited to speak about this work to the CHOCO project in ENS Lyon and the foundations seminar in Oxford (2010). This work forms part of the basis of Winskel's ERC Fellowship (awarded 2011). It also led to my grant from the Isaac Newton Trust / EPSRC Strategic Fund in 2012.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
1
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
