35 citations · 65 across the 10 of their papers we have counts for
1 paper · 1 filter
Hugo Paquet, Glynn Winskel
Concurrent games and strategies based on event structures are an established and expressive model of interactive computation. In this paper we revisit the problem of equipping this…