An Approach to Automating the Verification of Compact Parallel Coordination

Lingua: inglese

Editore: Forgotten Books, 2024

1332087051 / 9781332087051

Immagine dell’articolo 1 di 2

Da: Forgotten Books, London, Regno UnitoForgotten Books

Venditore con 5 stelle

Venditore AbeBooks dal 2 giugno 2021

Brossura

Condizione: Nuovo

EUR 16,25

 Spedizione gratuita 
Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

Print on Demand. This text is an excerpt from a scientific book focusing on describing a computer algorithm that verifies parallel coordination programs. The algorithm's goal is to check if each of these programs reaches a compact state, a status where the desired result can be achieved within a finite time frame. The book introduces the concept of controlled vector addition systems (CVAS) as a mathematical model for parallel program analysis and provides an algorithm called DEVELOP to construct reachability set descriptions for a class of CVAS. The algorithm is proven to terminate if the program being tested is normal, and termination is equivalent to compactness in this context. Additionally, the book explores how DEVELOP can be applied to parametric CVAS, a concept that introduces a variable parameter to the algorithm. The author demonstrates that DEVELOP will still terminate for a parametric CVAS if the reachability set is finite for each value of the parameter. These insights provide new tools and techniques for analyzing and verifying the behavior of parallel coordination programs. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book.…

Codice articolo 9781332087051_0

Titolo
An Approach to Automating the Verification of Compact Parallel Coordination
Autore
B. D. Lubachevsky
Editore
Forgotten Books
Anno di pubblicazione
2024
Condizione
New
Tipo di libro
print-on-demand item
Rilegatura
Paperback
Lingua
inglese
ISBN 10
1332087051
ISBN 13
9781332087051
Cataloghi dei venditori
Calculus

Forgotten Books

London, Regno Unito

Venditore con 5 stelle

Venditore AbeBooks dal 2 giugno 2021

Tariffe di spedizione da Regno Unito a U.S.A.

ArticoloDa 5 a 10 giorni lavorativiDa 5 a 10 giorni lavorativi
Primo articoloEUR 0,00EUR 0,00
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Descrizione dello Store

Forgotten Books’ Classic Reprint Series utilizes the latest technology to regenerate facsimiles of historically important writings. Careful attention has been made to accurately preserve the original format of each page whilst digitally enhancing the quality of the aged text.

Specializzazione

Trade

Informazioni sull’azienda del venditore

FB &c Ltd

Dalton House, 60 Windsor Avenue
London, Regno Unito SW19 2RR