3 search results - page 1 / 1 » The Anatomy of Innocence Revisited |
FSTTCS
2006
Springer
13 years 8 months ago
2006
Springer
We refine previous analyses of Hyland-Ong game semantics and its relation to - and
CSL
2001
Springer
13 years 9 months ago
2001
Springer
We reveal a symmetric structure in the ho/n games model of innocent strategies, introducing rigid strategies, a concept dual to bracketed strategies. We prove a direct definabilit...
IFIP
2005
Springer
13 years 10 months ago
2005
Springer
In this paper we propose a formalization of probable innocence, a notion of probabilistic anonymity that is associated to “realistic” protocols such as Crowds. We analyze crit...