×
![]( "Buchcover ISBN 9783540393634")
Distributed Systems
Methods and Tools for Specification. An Advanced Course
von M.W. Alford und weiteren, herausgegeben von Manfred Paul und H.J. SiegertInhaltsverzeichnis
- 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.
