|
Books > Computing & IT > Computer programming
|
Buy Now
Type Systems for Distributed Programs: Components and Sessions (Hardcover, 1st ed. 2016)
Loot Price: R2,734
Discovery Miles 27 340
|
|
|
Type Systems for Distributed Programs: Components and Sessions (Hardcover, 1st ed. 2016)
Series: Atlantis Studies in Computing, 7
Expected to ship within 12 - 17 working days
|
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
of the session pi-calculus, which models communication in
distributed systems, into the standard typed pi-calculus. We use
this encoding to derive properties like type safety and progress in
the session pi-calculus by exploiting the corresponding properties
in the standard typed pi-calculus.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
