The temporal logic of actions (0)

by L Lamport
Venue:ACM Trans. Programm. Lang. Syst