@inproceedings{ALW89, author = "G. Avni and O. Kupferman", title = "Realizable and Unrealizable Concurrent Program Specifications", booktitle = concur12, series = lncs, publisher = springer, volume = 7454, year = "2012", pages = "84--99" }