×


 x 

Shopping cart
Ornela Dardha - Type Systems for Distributed Programs: Components and Sessions - 9789462392038 - V9789462392038
Stock image for illustration purposes only - book cover, edition or condition may vary.

Type Systems for Distributed Programs: Components and Sessions

€ 121.67
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

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

Goodreads reviews for Type Systems for Distributed Programs: Components and Sessions


Subscribe to our newsletter

News on special offers, signed editions & more!