Temporal logic of reactive and concurrent systems - Manna Zohar; Pnueli Amir (N Y Springer Verlag, 1992)
Keywords: Computer science; Concurrent systems; Temporal logic