Advanced Course: Distributed Systems

Keyphrases

Publications

volume 190, 1985

Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985, Munich, Germany Advanced Course: Distributed Systems 190 (1985)

1984

Mack W. Alford
A Graph Model Based Approach to Specifications. Advanced Course: Distributed Systems (1984)
Mack W. Alford, Leslie Lamport, Geoff P. Mullery
Basic Concepts. Advanced Course: Distributed Systems (1984)
Fred B. Schneider, Leslie Lamport
Paradigms for Distributed Programs. Advanced Course: Distributed Systems (1984)
Günter Hommel
Language Constructs for Distributed Programs. Advanced Course: Distributed Systems (1984)
Barbara Liskov
The Argus Language and System. Advanced Course: Distributed Systems (1984)
Geoff P. Mullery
Conclusion. Advanced Course: Distributed Systems (1984)
Günter Hommel
Introduction. Advanced Course: Distributed Systems (1984)
Geoff P. Mullery
Acquisition-Environment. Advanced Course: Distributed Systems (1984)
Jean-Pierre Ansart
Issues and Tools for Protocol Specification. Advanced Course: Distributed Systems (1984)
Leslie Lamport, Fred B. Schneider
Formal Foundation for Specification and Verification. Advanced Course: Distributed Systems (1984)

volume 105, 1981

Distributed Systems - Architecture and Implementation, An Advanced Course Advanced Course: Distributed Systems 105 (1981)

1980