Browsing by Author "Agrawal,Vinod K"
Now showing items 1-1 of 1
-
Formal tools for specification-driven protocol design of distributed computing systems
Agrawal,Vinod KThe widespread use of Distributed Computing Systems (DCSs) is due to the advantages of better performance, improved reliability, efficient resource sharing and easy upgradability. In order to realize the advantages of a ...

