Normal view MARC view ISBD view

Distributed systems : methods and tools for specification : an advanced course / M.W. Alford [and others] ; edited by M. Paul and H.J. Siegert. - 1 online resource (vi, 573 pages) : illustrations - Lecture notes in computer science ; 190 . - Lecture notes in computer science ; 190. .

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 bibliographical references (pages 548-564) and index.

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.

Use copy


Electronic reproduction.
[Place of publication not identified] :
HathiTrust Digital Library,
2010.


Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
http://purl.oclc.org/DLF/benchrepro0212

ISBN: 9783540393634 3540393633

Subjects--Topical Terms:
Electronic data processing--Distributed processing.
Electronic data processing--Distributed processing--Congresses.
Traitement réparti--Congrès.
Traitement réparti.
Electronic data processing--Distributed processing
Gedistribueerde gegevensverwerking.
Electronic data processing--Distributed processing.
Computer networks.
Systèmes à paramètres répartis.

Index Terms--Genre/Form:
Conference papers and proceedings

LC Class. No.: QA76.9.D5 / D63 1985

Dewey Class. No.: 001.64

Universal Decimal Class. No.: 518.532.A38 681.3.02(063)