| Description |
1 online resource (vi, 573 pages) : illustrations |
| Series |
Lecture notes in computer science ; 190 |
|
Lecture notes in computer science ; 190.
|
| 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 |
| Notes |
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 |
Includes bibliographical references (pages 548-564) and index |
| Notes |
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 MiAaHDL |
|
digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL |
|
Print version record |
| Subject |
Electronic data processing -- Distributed processing.
|
|
Electronic data processing -- Distributed processing -- Congresses
|
|
Electronic data processing -- Distributed processing
|
|
Gedistribueerde gegevensverwerking.
|
|
Systèmes à paramètres répartis.
|
|
Electronic data processing -- Distributed processing.
|
|
Computer networks.
|
| Genre/Form |
Conference papers and proceedings
|
| Form |
Electronic book
|
| Author |
Alford, M. W. (Mack W.)
|
|
Paul, Manfred, 1932-
|
|
Siegert, H. J.
|
|
Technische Universität München. Institut für Informatik.
|
| ISBN |
9783540393634 |
|
3540393633 |
|
