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:26 - 2 self

Active Bibliography

23 Games and full abstraction for nondeterministic languages – Russell S. Harmer - 1999
11 Game Semantics and Subtyping – Juliusz Chroboczek - 1999
44 Algorithmic Game Semantics – Samson Abramsky - 2001
A Fully Game Semantics for General References – Samson Abramsky, Kohei Honda, Guy Mccusker - 1998
20 Non-deterministic Games and Program Analysis: An application to security (Extended Abstract) – P. Malacaria, Chris Hankin
4 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
13 Syntactic Control of Concurrency – D. R. Ghica, A. S. Murawski, C.-H. L. Ong - 2004
15 Regular-Language Semantics for a Call-by-Value Programming Language – Dan R. Ghica
25 Probabilistic Game Semantics – Vincent Danos, Russell Harmer - 2000
1 Information, Processes and Games – Samson Abramsky
Extensional semantics of program behaviour – Guy McCusker - 2008
1 Processes and Games – Kohei Honda - 2003
Verification of Higher-Order Computation: A Game-Semantic Approach – C. -h. L. Ong
14 A game semantics of local names and good variables – J. Laird - 2004
3 Game semantics for an object-oriented language – Nicholas Wolverson - 2008