Symmetry in concurrent games
Accepted version
Peer-reviewed
Repository URI
Repository DOI
Change log
Authors
Castellan, S
Clairambault, P
Winskel, G
Description
Keywords
46 Information and Computing Sciences, 38 Economics, 3803 Economic Theory
Journal Title
Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014
Conference Name
Journal ISSN
Volume Title
Publisher
ACM