Ebook: Distributed Systems: Methods and Tools for Specification An Advanced Course
- Tags: Computer Communication Networks
- Series: Lecture Notes in Computer Science 190
- Year: 1985
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- pdf
Content:
Front Matter....Pages -
Introduction....Pages 1-6
Basic concepts....Pages 7-43
Acquisition — environment....Pages 45-130
A graph model based approach to specifications....Pages 131-201
Formal foundation for specification and verification....Pages 203-285
Language constructs for distributed programs....Pages 287-341
The argus language and system....Pages 343-430
Paradigms for distributed programs....Pages 431-480
Issues and tools for protocol specification....Pages 481-538
Conclusion....Pages 539-547
Back Matter....Pages -
Content:
Front Matter....Pages -
Introduction....Pages 1-6
Basic concepts....Pages 7-43
Acquisition — environment....Pages 45-130
A graph model based approach to specifications....Pages 131-201
Formal foundation for specification and verification....Pages 203-285
Language constructs for distributed programs....Pages 287-341
The argus language and system....Pages 343-430
Paradigms for distributed programs....Pages 431-480
Issues and tools for protocol specification....Pages 481-538
Conclusion....Pages 539-547
Back Matter....Pages -
....
Download the book Distributed Systems: Methods and Tools for Specification An Advanced Course for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)