Symmetry in concurrent games
- Submitting institution
-
University of Strathclyde
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 107580179
- Type
- E - Conference contribution
- DOI
-
10.1145/2603088.2603141
- Title of conference / published proceedings
- CSL-LICS '14 : Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
- First page
- 1
- Volume
- -
- Issue
- -
- ISSN
- -
- Open access status
- -
- Month of publication
- July
- Year of publication
- 2014
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
2
- Research group(s)
-
-
- Citation count
- -
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- The work formed a cornerstone of Winskel's ERC Advanced Grant ``Events, Causality and Symmetry,'' and has so far led to one journal article, seven conference articles and was central in four PhD theses (of Alcolei, Castellan, de Visme at ENS Lyon, and Paquet at Cambridge).
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -