Realizable and unrealizable concurrent program specifications (1989)

by M Abadi, L Lamport, P Wolper
Venue:In Proc. 16th Int. Colloquium on Automata, Languagesand Programming