A Theory of Recursive Domains with Applications to Concurrency (1997)

by Gian Luca Cattani , Marcelo P. Fiore , Glynn Winskel
Venue:In Proc. of LICS ’98
Citations:23 - 14 self