Distributed Games and Strategies

A summary of work on distributed games and strategies done within the first three years of the ERC project ECSYM is presented.

[1]  Glynn Winskel,et al.  On Concurrent Games with Payoff , 2013, MFPS.

[2]  R.K. Guy,et al.  On numbers and games , 1978, Proceedings of the IEEE.

[3]  Glynn Winskel.  Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information , 2012, Logic and Program Semantics.

[4]  Glynn Winskel,et al.  Borel Determinacy of Concurrent Games , 2013, CONCUR.

[5]  C. Jones,et al.  A probabilistic powerdomain of evaluations , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[6]  Glynn Winskel,et al.  Concurrent Strategies , 2011, 2011 IEEE 26th Annual Symposium on Logic in Computer Science.

[7]  Glynn Winskel,et al.  The Winning Ways of Concurrent Games , 2012, 2012 27th Annual IEEE Symposium on Logic in Computer Science.

[8]  R. Griffiths.  Consistent Quantum Theory , 2001 .

[9]  Glynn Winskel,et al.  Bisimulation from Open Maps , 1994, Inf. Comput..

[10]  Glynn Winskel,et al.  Petri Nets, Event Structures and Domains , 1979, Semantics of Concurrent Computation.

[11]  Samson Abramsky,et al.  A Unified Sheaf-Theoretic Account Of Non-Locality and Contextuality , 2011, ArXiv.

[12]  E. Hewitt,et al.  On the fundamental ideas of measure theory , 1962 .

[13]  Radha Jagadeesan,et al.  Full Abstraction for PCF , 1994, Inf. Comput..

[14]  Glynn Winskel,et al.  Petri Nets, Event Structures and Domains, Part I , 1981, Theor. Comput. Sci..

[15]  C.-H. Luke Ong.  Model Checking Algol-Like Languages Using Game Semantics , 2002, FSTTCS.

[16]  J. Orlin Grabbe.  An Introduction to Quantum Game Theory , 2005 .

[17]  Glynn Winskel,et al.  Strategies as Concurrent Processes , 2014, MFPS.

[18]  Glynn Winskel,et al.  Probabilistic and Quantum Event Structures , 2014, Horizons of the Mind.

[19]  C.-H. Luke Ong,et al.  On Full Abstraction for PCF: I, II, and III , 2000, Inf. Comput..

[20]  Glynn Winskel,et al.  Event Structures , 1986, Advances in Petri Nets.

[21]  Glynn Winskel,et al.  Distributed Probabilistic and Quantum Strategies , 2013, MFPS.

[22]  Gérard Berry,et al.  Stable Models of Typed lambda-Calculi , 1978, ICALP.

[23]  Glynn Winskel,et al.  Event Structures with Symmetry , 2007, Computation, Meaning, and Logic.

[24]  Glynn Winskel,et al.  Profunctors, open maps and bisimulation , 2004, Mathematical Structures in Computer Science.

[25]  Samuel Mimram,et al.  Asynchronous Games: Innocence Without Alternation , 2007, CONCUR.

[26]  Glynn Winskel,et al.  Event Structure Spans for Nondeterministic Dataflow , 2006, EXPRESS.

[27]  Glynn Winskel,et al.  Event Structure Semantics for CCS and Related Languages , 1982, ICALP.

[28]  Glynn Winskel.  Strategies as Profunctors , 2013, FoSSaCS.

[29]  Glynn Winskel,et al.  Symmetry in concurrent games , 2014, CSL-LICS.

[30]  Glynn Winskel.  Deterministic concurrent strategies , 2012, Formal Aspects of Computing.

[31]  Donald A. Martin,et al.  The determinacy of Blackwell games , 1998, Journal of Symbolic Logic.

[32]  Martin Hyland,et al.  Some reasons for generalising domain theory , 2010, Mathematical Structures in Computer Science.