Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel. A Theory of Recursive Domains with Applications to Concurrency. In LICS. pages 214-225, 1998.
@inproceedings{CattaniFW98, title = {A Theory of Recursive Domains with Applications to Concurrency}, author = {Gian Luca Cattani and Marcelo P. Fiore and Glynn Winskel}, year = {1998}, researchr = {https://researchr.org/publication/CattaniFW98}, cites = {0}, citedby = {0}, pages = {214-225}, booktitle = {LICS}, }