"On the determinacy of concurrent games on event structures with infinite ..."

Julian Gutierrez, Glynn Winskel (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics