Theoretical Issues in the Design of Distributed and Concurrent Systems (1983)

by A P Sistla