Hallo! Tracked shipping to Netherlands with Delivery Duty Paid for just €7 

Ship to
Netherlands
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Integrated Model of Distributed Systems (Studies in Computational Intelligence)
Type
Physical Book
Publisher
Author
Year
2019
Language
English
Pages
238
Format
Hardcover
ISBN13
9783030128340
Edition No.
1
Categories

Integrated Model of Distributed Systems (Studies in Computational Intelligence)

Wiktor B. Daszczuk (Author) · Springer · Hardcover

Integrated Model of Distributed Systems (Studies in Computational Intelligence) - Wiktor B. Daszczuk

Cheaper New Book Imported to Netherlands
Delivery: 29 Sep - 06 Oct Shipping: 12 to 16 business days.
€ 98,15
Faster New Book Imported to Netherlands
Delivery: 18 Sep - 22 Sep Shipping: 5 to 6 business days.
€ 134,25
Import costs and 9% BTW included in the price ✅
€ 98,15

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Integrated Model of Distributed Systems (Studies in Computational Intelligence) "

In modern distributed systems, such as the Internet of Things or cloud computing, verifying their correctness is an essential aspect. This requires modeling approaches that reflect the natural characteristics of such systems: the locality of their components, autonomy of their decisions, and their asynchronous communication. However, most of the available verifiers are unrealistic because one or more of these features are not reflected. Accordingly, in this book we present an original formalism: the Integrated Distributed Systems Model (IMDS), which defines a system as two sets (states and messages), and a relation of  the "actions" between these sets. The server view and the traveling agent’s view of the system provide communication duality, while general temporal formulas for the IMDS allow automatic verification. The features that the model checks include: partial deadlock and partial termination, communication deadlock and resource deadlock. Automatic verification can support the rapid development of distributed systems. Further, on the basis of the IMDS, the Dedan tool for automatic verification of distributed systems has been developed.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Hardcover.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews