@inproceedings{561456,
    Author = {Danos, V. and Herbelin, H. and Regnier, L.},
    BookTitle = {Logic in Computer Science, 1996. LICS '96. Proceedings., Eleventh Annual IEEE Symposium on},
    File = {Game semantics and abstract machines - Danos, Herbelin, Regnier (0) (0) - a - a - q.pdf},
    ISSN = {1043-6871},
    Keywords = {game semantics and Krivine machine},
    Pages = {394-405},
    Title = {Game semantics and abstract machines},
    Year = {1996},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1996.561456},
    date-added = {2013-06-26 08:42:20 +0000},
    date-modified = {2013-06-26 08:43:46 +0000},
    doi = {10.1109/LICS.1996.561456}
}

@inproceedings{561456, Author = {Danos, V. and Herbelin, H. and Regnier, L.}, BookTitle = {Logic in Computer Science, 1996. LICS '96. Proceedings., Eleventh Annual IEEE Symposium on}, File = {Game semantics and abstract machines - Danos, Herbelin, Regnier (0) (0) - a - a - q.pdf}, ISSN = {1043-6871}, Keywords = {game semantics and Krivine machine}, Pages = {394-405}, Title = {Game semantics and abstract machines}, Year = {1996}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1996.561456}, date-added = {2013-06-26 08:42:20 +0000}, date-modified = {2013-06-26 08:43:46 +0000}, doi = {10.1109/LICS.1996.561456} }