A Fully Abstract Game Semantics for Finite Nondeterminism (1999)

Cached

Download Links

by Russell Harmer , Guy Mccusker
Venue:In Proceedings of the Fourteenth Annual Symposium on Logic in Computer Science, LICS ’99. IEEE Computer
Citations:31 - 3 self

Active Bibliography

31 Games and full abstraction for nondeterministic languages – Russell S. Harmer - 1999
11 Game Semantics and Subtyping – Juliusz Chroboczek - 1999
12 Full abstraction for nominal general references – Nikos Tzevelekos
47 Algorithmic Game Semantics – Samson Abramsky - 2001
A Fully Game Semantics for General References – Samson Abramsky, Kohei Honda, Guy Mccusker - 1998
21 Non-deterministic Games and Program Analysis: An application to security (Extended Abstract) – P. Malacaria, Chris Hankin
5 Axioms for Definability and Full Completeness – Samson Abramsky - 2000
Games in the Semantics of Programming Languages - An Elementary Introduction – Jan Jürjens, Benedikt L Owe, Florian Rudolph (eds, Jan J Urjens - 1999
10 A Regular-Language Model for Hoare-Style Correctness Statements – Dan R. Ghica - 2001
7 A games-based foundation for compositional software model checking – Dan R. Ghica - 2002
24 On full abstraction for PCF: I. Models, observables and the full abstraction problem II. Dialogue games and innocent strategies III. A fully abstract and universal game model – J. M. E. Hyland, C.-H. Ong - 2000
15 Regular-Language Semantics for a Call-by-Value Programming Language – Dan R. Ghica
15 Syntactic Control of Concurrency – D. R. Ghica, A. S. Murawski, C.-H. L. Ong - 2004
31 Probabilistic Game Semantics – Vincent Danos, Russell Harmer - 2000
6 Information, Processes and Games – Samson Abramsky
Extensional semantics of program behaviour – Guy McCusker - 2008
1 Processes and Games – Kohei Honda - 2003
17 Definability and full abstraction – Pierre-Louis Curien
2 Full abstraction for Reduced ML – Andrzej S. Murawski, Nikos Tzevelekos - 2009