LFCS Seminar: Julian Gutierrez
—
filed under:
LFCS Seminar
Determinacy for concurrent games on event structures
What |
|
---|---|
When |
Mar 12, 2013 from 10:00 AM to 11:00 AM |
Where | IF 2.33 |
Contact Name | jcheney@inf.ed.ac.uk |
Add event to calendar |
![]() ![]() |
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.