Global and Local Models for the Specification and Verification of Distributed Systems. - Mohamed G. Gouda; D. Body; W. Wood (Berkeley Workshop, 1979)