Event Structures, Stable Families and Concurrent Games Notes for “Distributed Games and Strategies” ACS2015 Glynn Winskel - Determinacy - Document - PDFSEARCH.IO

First Page	Meta Content
	Event Structures, Stable Families and Concurrent Games Notes for “Distributed Games and Strategies” ACS2015 Glynn Winskel Add to Reading List Document Date: 2015-02-19 08:49:32 Open Document File Size: 1,03 MB Share Result on Facebook / Facility Stable Families / / IndustryTerm factorization systems / asynchronous transition systems / transition systems / / Organization CONTENTS Chapter / / Technology Security protocols / simulation / / SocialTag Computer science Applied mathematics Concurrency Denotational semantics Concurrent computing Actor model Game semantics Determinacy Petri net Theoretical computer science

Event Structures, Stable Families and Concurrent Games Notes for “Distributed Games and Strategies” ACS2015 Glynn Winskel Add to Reading List