Advanced Course: Distributed Systems 1984

Mack W. Alford, Jean-Pierre Ansart, Günter Hommel, Leslie Lamport, Barbara Liskov, Geoff P. Mullery, Fred B. Schneider (Eds.): 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

@proceedings{DBLP:conf/ac/1984ds,
  editor    = {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
Mack W. Alford, Leslie Lamport, Geoff P. Mullery:
Basic Concepts. 7-43
Geoff P. Mullery:
Acquisition-Environment. 45-130
Mack W. Alford:
A Graph Model Based Approach to Specifications. 131-201
Leslie Lamport, Fred B. Schneider:
Formal Foundation for Specification and Verification. 203-285
Günter Hommel:
Language Constructs for Distributed Programs. 287-341
Barbara Liskov:
The Argus Language and System. 343-430
Fred B. Schneider, Leslie Lamport:
Paradigms for Distributed Programs. 431-480
Jean-Pierre Ansart:
Issues and Tools for Protocol Specification. 481-538
Geoff P. Mullery:
Conclusion. 539-547

References

Last update Mon May 21 02:19:03 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page