Realizable and unrealizable concurrent program specifications (1989)

by M Abadi, L Lamport, P Wolper
Venue:In Proc. 16th International Colloquium on Automata, Languages and Programming