Realizable and Unrealizable Specifications of Reactive Systems

Leslie Lamport
Pierre Wolper
ICALP (1989), pp. 1-17

Abstract