Distributed Systems - Methods and Tools for Specification. An Advanced Course

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.

List 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.

Product details

• Authors: M Alford, M W Alford, M. W. Alford, J Ansart, J P Ansart, J. P. Ansart, G et al Hommel, G. Hommel, L. Lamport, B. Liskov, G. P. Mullery, F. B. Schneider
• Assisted by: J Siegert (Editor), J Siegert (Editor), Manfre Paul (Editor), Manfred Paul (Editor), Manfred (Hrsg.) Paul (Editor), H. J. Siegert (Editor), H. J. (Hrsg.) Siegert (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 01.01.1985
• EAN: 9783540152163
• ISBN: 978-3-540-15216-3
• No. of pages: 573
• Weight: 920 g
• Series: Lecture Notes in Computer Science; Lecture Notes in Computer Science
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > Operating systems, user interfaces