Semantic Approach Correctness Concurrent by Paul Spirakis (5 results)

Condition: New.

PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.

PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.

Paperback. Condition: New. Print on Demand. This book explores the critical but enigmatic issue of "correctness". Correctness in this context refers to the desired behavior of multiple independent operations or entities working simultaneously. The author introduces a new and valuable concept â" "independence" â" as a key component of correctness. They posit that a system can still be considered correct even without adhering to serializability, provided it is independent. The book makes a remarkable contribution by proposing a new class of correct schedules that are neither serializable nor incorrect. This class, dubbed weakly serializable of order 2, strikes a balance between correctness and the constraint of serializability. The author's in-depth investigation of semantic constraints and integrity conditions provides a comprehensive framework for evaluating correctness, thereby significantly enhancing our understanding of this multifaceted concept. 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. print-on-demand item. …

Condition: New. Print on Demand pp. 38.