Domain theory for concurrency (2004)

by M Nygaard, G Winskel
Venue:Theor. Comput. Sci