D. Body
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1979
Global and Local Models for the Specification and Verification of Distributed Systems.
Proceedings of the Fourth Berkeley Workshop on Distributed Data Management and Computer Networks, 1979