Models and Analysis for Distributed Systems

Book Description Nowadays, distributed systems are increasingly present, for publicsoftware applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Designand Algorithms - from the same editors - introduce the underlying concepts, the associated design techniques and the related securityissues. The objective of this book is to describe the state of the art of the formal methods for the analysis of distributed systems. Numerous issues remain open and are the topics of major research projects. One current research trend consists of profoundly mixing the design, modeling, verification and implementation stages. This prototyping-based approach is centered around the concept of model refinement. Book Details Publisher: Wiley By: Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci ISBN: 978-1-84821-314-2 Year: 2011 Pages: 368 Language: English File size: 4.3 MB File format: PDF eBook Download: Models and Analysis for Distributed Systems Paper Book Buy: Models and Analysis for Distributed Systems Online Book Read: Models and Analysis for Distributed Systems