Realizable and Unrealizable Specifications of Reactive Systems.

Martn Abadi, Leslie Lamport, Pierre Wolper

Browse the full ICALP paper archive.