3 search results - page 1 / 1 » Asynchronous Games 2: The True Concurrency of Innocence |
CONCUR
2004
Springer
13 years 10 months ago
2004
Springer
CONCUR
2007
Springer
13 years 11 months ago
2007
Springer
The notion of innocent strategy was introduced by Hyland and Ong in order to capture the interactive behaviour of λ-terms and PCF programs. An innocent strategy is defined as an ...
TLCA
2009
Springer
13 years 11 months ago
2009
Springer
We introduce a Game Semantics where strategies are partial orders, and composition is a generalization of the merging of orders. Building on this, to bridge between Game Semantics ...