A theory of recursive domains with applications to concurrency (1998)

by Gian Luca Cattani, Marcelo Fiore, Glynn Winskel
Venue:In Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science