First Page | Document Content | |
---|---|---|
Date: 2015-02-19 08:49:32Computer science Applied mathematics Concurrency Denotational semantics Concurrent computing Actor model Game semantics Determinacy Petri net Theoretical computer science Logic in computer science Models of computation | Event Structures, Stable Families and Concurrent Games Notes for “Distributed Games and Strategies” ACS2015 Glynn WinskelAdd to Reading ListSource URL: www.cl.cam.ac.ukDownload Document from Source WebsiteFile Size: 1,03 MBShare Document on Facebook |