Realizable and unrea.liza.ble concurrent program specifications (1989)

by M Abadi, L La mport, P Wolper
Venue:In Proc. 10th Int. Colloquizlnz on Automutu, Languages and Progrumming. LNCS