Experiments, Powerdomains, and Fully Abstract Models for Applicative Multiprogramming (1983)

by S Abramsky
Venue:In LNCS 158: FonndationJ of CompuL<ttion Tkeory