David Turner, Glynn Winskel
Nominal Domain Theory for Concurrency
CSL, 2009.
@inproceedings{CSL-2009-TurnerW, author = "David Turner and Glynn Winskel", booktitle = "{Proceedings of the 18th EACSL Annual Conference / 23rd International Workshop on Computer Science Logic}", doi = "10.1007/978-3-642-04027-6_39", isbn = "978-3-642-04026-9", pages = "546--560", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Nominal Domain Theory for Concurrency}", volume = 5771, year = 2009, }