Research Catalog

Distributed systems : methods and tools for specification : an advanced course

Title
Distributed systems : methods and tools for specification : an advanced course / M.W. Alford [and others] ; edited by M. Paul and H.J. Siegert.
Publication
Berlin ; New York : Springer-Verlag, ©1985.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA76.9.D5 D63 1985Off-site

Details

Additional Authors
  • Alford, M. W. (Mack W.)
  • Paul, Manfred, 1932-
  • Siegert, H. J.
  • Technische Universität München. Institut für Informatik.
Description
vi, 573 pages : illustrations; 25 cm.
Series Statement
Lecture notes in computer science ; 190
Uniform Title
Lecture notes in computer science ; 190.
Subject
  • Electronic data processing > Distributed processing
  • Electronic data processing > Distributed processing > Congresses
  • Electronic data processing > Distributed processing
  • Gedistribueerde gegevensverwerking
  • Computer networks
  • Systèmes à paramètres répartis
Genre/Form
Conference papers and proceedings
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.
  • Includes index.
Bibliography (note)
  • Bibliography: p. [548]-564.
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.
ISBN
  • 0387152164
  • 9780387152165
  • 3540152164
  • 9783540152163
LCCN
85004800
OCLC
  • ocm11866506
  • 11866506
  • SCSB-614359
Owning Institutions
Princeton University Library