Temporal logic specification of distributed systems (1981)

by R Schwartz, P M Melliar-Smith
Venue:in Proc. 2nd Int. Conf. on Distributed System