Suitable for students in computer science and electrical engineering, this book presents a practical and rigorous method to develop distributed programs that correctly implement their specifications. It also covers how to write specifications and how to use them.We prove that the resulting distributed program LockTsDist implements the distributed lock service (Chap. 11). ... It then defines the variables clk, rts and req, exactly as in the algorithm-level description, and starts a local thread, tRx, executinganbsp;...
|Author||:||A. Udaya Shankar|
|Publisher||:||Springer Science & Business Media - 2012-09-15|