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

By Robert Barta .

This work has been finished in April 1995.