Distributed systems : methods and tools for specification : an advanced course
Author(s)
Bibliographic Information
Distributed systems : methods and tools for specification : an advanced course
(Lecture notes in computer science, 190)
Springer-Verlag, c1985
- : gw
- : us
Available at / 58 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||19085022980
-
University of Tsukuba Library, Library on Library and Information Science
: Germany007.08:L-49:190881003930
-
No Libraries matched.
- Remove all filters.
Note
Prepared for and presented during the Advanced course on distributed systems, methods and tools for specification, held April 3-12, 1984 and repeated April 16-25, 1985, organized by the Institut für Informatik, Technische Universität München
Bibliography: p. [548]-564
Description and Table of Contents
Table of Contents
Basic concepts.- Acquisition - environment.- A graph model based approach to specifications.- Formal foundation for specification and verification.- Language constructs for distributed programs.- The argus language and system.- Paradigms for distributed programs.- Issues and tools for protocol specification.- Conclusion.
by "Nielsen BookData"