A Fully Abstract Game Semantics for Finite Nondeterminism (1999)


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:37 - 4 self

Active Bibliography

29 Games and full abstraction for nondeterministic languages – Russell S. Harmer - 1999
826 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
11 Game Semantics and Subtyping – Juliusz Chroboczek - 1999
49 Algorithmic Game Semantics – Samson Abramsky - 2001
12 Full abstraction for nominal general references – Nikos Tzevelekos
Asynchronous Games 4 A Fully Complete Model of Propositional Linear Logic – unknown authors
DisCo: Semantic Foundations of Distributed Computation Detailed Proposal Information for a Marie Curie Training Site Description of the Doctoral Training 1.1 Significance the Training – unknown authors
ABSTRACT Algorithmic Game Semantics and Component-Based Verification – Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, C. -h. Luke Ong
241 Abstract interpretation frameworks – Patrick Cousot, Radhia Cousot - 1992