TY  - BOOK
AU  - Alford,M.W.
AU  - Paul,Manfred
AU  - Siegert,H.J.
ED  - Technische Universität München.
TI  - Distributed systems: methods and tools for specification : an advanced course 
T2  - Lecture notes in computer science
SN  - 9783540393634
AV  - QA76.9.D5 D63 1985
U1  - 001.64 19
PY  - 1985///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Electronic data processing
KW  - Distributed processing
KW  - Congresses
KW  - Traitement réparti
KW  - Congrès
KW  - fast
KW  - Gedistribueerde gegevensverwerking
KW  - gtt
KW  - nli
KW  - Computer networks
KW  - Systèmes à paramètres répartis
KW  - ram
KW  - Conference papers and proceedings
N1  - 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; Electronic reproduction; [Place of publication not identified]; HathiTrust Digital Library; 2010
UR  - https://link.springer.com/10.1007/3-540-15216-4
ER  -