Personal tools
You are here: Home Events LFCS Seminars-Folder LFCS Seminar: Julian Gutierrez

LFCS Seminar: Julian Gutierrez

— filed under:

Determinacy for concurrent games on event structures

  • LFCS Seminar
When Mar 12, 2013
from 10:00 AM to 11:00 AM
Where IF 2.33
Contact Name
Add event to calendar vCal

In this talk I will give an introduction to concurrent games on event structures and present some results regarding the determinacy problem (the existence of winning strategies) for certain classes of games. Such results rely on the games satisfying two (necessary and sufficient) structural conditions: race-freedom and bounded-concurrency.

Joint work with Glynn Winskel.

Document Actions