A Theory of Recursive Domains with Applications to Concurrency.

Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel

Browse the full LICS paper archive.