Paper: A Theory of Recursive Domains with Applications to Concurrency (at LICS 1998)
Authors: Gian Luca Cattani Marcelo P. Fiore Glynn WinskelAbstract
No Abstract Available
BibTeX
@InProceedings{CattaniFioreWinskel-ATheoryofRecursiveD, author = {Gian Luca Cattani and Marcelo P. Fiore and Glynn Winskel}, title = {A Theory of Recursive Domains with Applications to Concurrency}, booktitle = {Proceedings of the Thirteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1998}, year = 1998, editor = {Vaughan Pratt}, month = {June}, pages = {214-225}, location = {Indianapolis, IN, USA}, publisher = {IEEE Computer Society Press} }