Advanced Course: Distributed Systems 1984

Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich. Lecture Notes in Computer Science 190 Springer 1985, ISBN 3-540-15216-4 BibTeX

@proceedings{DBLP:conf/ac/1984ds,
  author    = {Mack W. Alford and
               Jean-Pierre Ansart and
               G{\"u}nter Hommel and
               Leslie Lamport and
               Barbara Liskov and
               Geoff P. Mullery and
               Fred B. Schneider},
  title     = {Distributed Systems: Methods and Tools for Specification, An
               Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich},
  booktitle = {Advanced Course: Distributed Systems},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {190},
  year      = {1985},
  isbn      = {3-540-15216-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Günter Hommel: Introduction. 1-6 BibTeX
Mack W. Alford, Leslie Lamport, Geoff P. Mullery: Basic Concepts. 7-43 BibTeX
Geoff P. Mullery: Acquisition-Environment. 45-130 BibTeX
Mack W. Alford: A Graph Model Based Approach to Specifications. 131-201 BibTeX
Leslie Lamport, Fred B. Schneider: Formal Foundation for Specification and Verification. 203-285 BibTeX
Günter Hommel: Language Constructs for Distributed Programs. 287-341 BibTeX
Barbara Liskov: The Argus Language and System. 343-430 BibTeX
Fred B. Schneider, Leslie Lamport: Paradigms for Distributed Programs. 431-480 BibTeX
Jean-Pierre Ansart: Issues and Tools for Protocol Specification. 481-538 BibTeX
Geoff P. Mullery: Conclusion. 539-547 BibTeX

References