Type Systems for Distributed Programs: Components and Sessions: 7 (Atlantis Studies in Computing, 7) - Image 1

£58.68

Springer Type Systems for Distributed Programs: Components and Sessions: 7 (Atlantis Studies in Computing, 7)

Name: Type Systems for Distributed Programs: Components and Sessions: 7 (Atlantis Studies in Computing, 7)
Brand: Springer
Price: 58.57 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 44 days • 44 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 44 days • 1 price levels

Days at Price

Price Analysis

Most common price: £59 (44 days, 100.0%)

Price range: £59 - £59

Price levels: 1 different prices over 44 days

Description

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.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 946239203X
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 09 August 2016
Listed Since: 12 May 2016

Barcode

No barcode data available

Springer Type Systems for Distributed Programs: Components and Sessions: 7 (Atlantis Studies in Computing, 7)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Advanced Topics in Types and Programming Languages

Birkhauser Semantics of Type Theory - Computer Science Book

Session Types

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Types & Programming Languages (The MIT Press)

Open Multithreaded Transactions: A Transaction Model for Concurrent Object-Oriented Programming

Concurrent Programming: Algorithms, Principles, and Foundations

Isomorphisms of Types: from ?-calculus to information retrieval and language design (Progress in Theoretical Computer Science)

Quality of Communication-Based Systems: Proceedings of an International Workshop Held at the TU, Berlin, Germany, September 1994

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Springer - Principles of Distributed Systems - Computer Science

Distributed and Parallel Embedded Systems: IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES’98) October ... Information and Communication Technology, 25)

Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics: 3 (Atlantis Studies in Computing, 3)

Distributed System Design

Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (CRM Monograph Series)

Principles of Cyber-Physical Systems

Quantitative Assessments of Distributed Systems: Methodologies and Techniques (Performability Engineering Series)

Concurrency Verification: Introduction to Compositional and Non-compositional Methods: 54 (Cambridge Tracts in Theoretical Computer Science, Series Number 54)

Real-Time and Distributed Real-Time Systems: Theory and Applications

Temporal Verification of Reactive Systems: Safety

Distributed Systems: Theory and Applications

Advanced Computing and Systems for Security: Volume Seven: 897 (Advances in Intelligent Systems and Computing)

Models and Analysis for Distributed Systems

Springer Reasoning in Event-Based Distributed Systems 347