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

Documents Related by Co-Citation

103 Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions – Samson Abramsky, Guy McCusker - 1997
200 On full abstraction for PCF – J M E Hyland, C H L Ong
192 Full Abstraction for PCF – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1996
65 Call-by-Value Games – Samson Abramsky, Guy Mccusker - 1997
210 Games and Full Completeness for Multiplicative Linear Logic – Samson Abramsky, Radha Jagadeesan - 1994
31 Probabilistic Game Semantics – Vincent Danos, Russell Harmer - 2000
118 A fully abstract game semantics for general references – S Abramsky, K Honda, G McCusker - 1998
20 The Regular-Language Semantics of Second-Order Idealized ALGOL – Dan R. Ghica, Guy Mccusker - 2003
17 Generalised flowcharts and games – P Malacaria, C Hankin - 1998
59 Hereditarily Sequential Functionals – Hanno Nickau - 1994
62 Full Abstraction for Functional Languages with Control – James Laird - 1997
930 Categories for the Working Mathematician – S Mac Lane - 1971
27 Angelic semantics of fine-grained concurrency – Dan R. Ghica, Andrzej S. Murawski - 2004
32 A Semantic analysis of control – James David Laird - 1998
21 Non-deterministic Games and Program Analysis: An application to security (Extended Abstract) – P. Malacaria, Chris Hankin
50 Concurrent Games and Full Completeness – Samson Abramsky, Paul-André Melliès, Equipe De Logique Mathematique - 1998
49 Games and full abstraction for a functional metalanguage with recursive types – G McCusker - 1996
15 Syntactic Control of Concurrency – D. R. Ghica, A. S. Murawski, C.-H. L. Ong - 2004
39 Observable Sequentiality and Full Abstraction – Robert Cartwright, Matthias Felleisen - 1992