Formal Specification of Distributed Systems - A Discrete Space-Time Logic

This work has been finished in April 1995.