Distributed Programming

Distributed Programming

4.11 - 1251 ratings - Source

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

Title:Distributed Programming
Author:A. Udaya Shankar
Publisher:Springer Science & Business Media - 2012-09-15


You Must CONTINUE and create a free account to access unlimited downloads & streaming