3 search results - page 1 / 1 » Asynchronous Games 2: The True Concurrency of Innocence |
CONCUR
2004
Springer
14 years 4 months ago
2004
Springer
CONCUR
2007
Springer
14 years 5 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
14 years 5 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 ...