A Theory of Recursive Domains with Applications to Concurrency

Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel. A Theory of Recursive Domains with Applications to Concurrency. In LICS. pages 214-225, 1998.

Abstract

Abstract is missing.