.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Type Systems for Distributed Programs: Components and Sessions
Ornela Dardha
€ 126.88
FREE Delivery in Ireland
Description for Type Systems for Distributed Programs: Components and Sessions
Hardback. Series: Atlantis Studies in Computing. Num Pages: 214 pages, 65 black & white illustrations, 4 colour illustrations, biography. BIC Classification: PBCD; UM; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 491.
In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems are an adequate methodology considering their success in guaranteeing not only basic safety properties, but also more sophisticated ones like deadlock or lock freedom in concurrent settings.The main contributions of this book are twofold.
i) We design a type system for a concurrent object-oriented calculus to statically ensure consistency of dynamic reconfigurations.
ii) We define an encoding ... Read more
In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems are an adequate methodology considering their success in guaranteeing not only basic safety properties, but also more sophisticated ones like deadlock or lock freedom in concurrent settings.The main contributions of this book are twofold.
i) We design a type system for a concurrent object-oriented calculus to statically ensure consistency of dynamic reconfigurations.
ii) We define an encoding ... Read more
Product Details
Format
Hardback
Publication date
2016
Publisher
Atlantis Press (Zeger Karssen) Netherlands
Number of pages
214
Condition
New
Series
Atlantis Studies in Computing
Number of Pages
192
Place of Publication
, Netherlands
ISBN
9789462392038
SKU
V9789462392038
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Type Systems for Distributed Programs: Components and Sessions