Mikkel Nygaard, Glynn Winskel. Full Abstraction for HOPLA. In Roberto M. Amadio, Denis Lugiez, editors, CONCUR 2003 - Concurrency Theory, 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings. Volume 2761 of Lecture Notes in Computer Science, pages 378-392, Springer, 2003. [doi]
@inproceedings{NygaardW03,
title = {Full Abstraction for HOPLA},
author = {Mikkel Nygaard and Glynn Winskel},
year = {2003},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2761&spage=378},
tags = {abstraction},
researchr = {https://researchr.org/publication/NygaardW03},
cites = {0},
citedby = {0},
pages = {378-392},
booktitle = {CONCUR 2003 - Concurrency Theory, 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings},
editor = {Roberto M. Amadio and Denis Lugiez},
volume = {2761},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-40753-7},
}