Modelling distributed systems
- Berlin: Springer, 2007
- viii, 151 p.; ill.: 24 cm.
- Texts in theoretical computer science .
Includes bibliography and index
Guides students through algebraic specification and verification of distributed systems and some of the most prominent formal verification techniques
9783540739371 hbk
Modelling distributed systems Algebra Tree identity protocol Computer programming & programming language Informatique Theory of Computation Symbolic and Algebraic Manipulation Mathematical Logic and Formal Languages Logics and Meanings of Programs Parallel programs (Computer programs) - Verification Parallel processing (Electronic computers) Electronic data processing - Distributed processing Distributed operating systems (Computers)