Database Concurrency Control, Alexander Thomasian

Автор: M. A. Casanova
Название: The Concurrency Control Problem for Database Systems
ISBN: 3540108459 ISBN-13(EAN): 9783540108450
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Maciej Koutny; Wil M. P. van der Aalst; Alex Yakov
Название: Transactions on Petri Nets and Other Models of Concurrency VIII
ISBN: 3642404642 ISBN-13(EAN): 9783642404641
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume features papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Coverage includes model checking and system verification, refinement and synthesis, and innovative applications.

Автор: Paul Ezhilchelvan; Alexander Romanovsky
Название: Concurrency in Dependable Computing
ISBN: 1441952780 ISBN-13(EAN): 9781441952783
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Bengt Jonsson; Joachim Parrow
Название: CONCUR `94: Concurrency Theory
ISBN: 3540583297 ISBN-13(EAN): 9783540583295
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume of conference proceedings contains 29 selected research papers that trace progress in the field of concurrency theory since the last conference on the subject was held in 1993.

Автор: Alexander Thomasian
Название: Database Concurrency Control
ISBN: 144195161X ISBN-13(EAN): 9781441951618
Издательство: Springer
Рейтинг:
Цена: 25149.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Sukhendu Kanrar; Nabendu Chaki; Samiran Chattopadh
Название: Concurrency Control in Distributed System Using Mutual Exclusion
ISBN: 9811055580 ISBN-13(EAN): 9789811055584
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The book presents various state-of-the-art approaches for process synchronization in a distributed environment. The range of algorithms discussed in the book starts from token based mutual exclusion algorithms that work on tree based topology. Then there are interesting solutions for more flexible logical topology like a directed graph, with or without cycle. In a completely different approach, one of the chapters presents two recent voting-based DME algorithms. All DME algorithms presented in the book aim to ensure fairness in terms of first come first serve (FCFS) order among equal priority processes. At the same time, the solutions consider the priority of the requesting processes and allocate resource for the earliest request when no such request from a higher priority process is pending.

Автор: Jensen Kurt
Название: Transactions on Petri Nets and Other Models of Concurrency
ISBN: 3642381421 ISBN-13(EAN): 9783642381423
Издательство: Springer
Рейтинг:
Цена: 11739.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: - Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences - Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) - Other papers invited for publication in ToPNoC - Papers submitted directly to ToPNoC by their authors The 7th volume of ToPNoC contains revised material from the 5th International Summer School "Advanced Course on Petri Nets," held in September 2010 in Rostock, Germany. The nine papers cover a diverse range of topics including modeling, verification, partial order semantics, and synthesis of Petri nets. In compliance with their origin as course material, the papers are written in survey or tutorial style and give a comprehensive overview of the state of the art in their respective areas.

Автор: Jonathan Billington; Kurt Jensen; Maciej Koutny
Название: Transactions on Petri Nets and Other Models of Concurrency III
ISBN: 3642048544 ISBN-13(EAN): 9783642048548
Издательство: Springer
Рейтинг:
Цена: 9776.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains papers from the 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency and from the 8th and 9th Workshops and Tutorials on Practical Use of Coloured Petri Nets and the CPN Tools.

Автор: Jos C.M. Baeten; Sjouke Mauw
Название: CONCUR`99. Concurrency Theory
ISBN: 3540664254 ISBN-13(EAN): 9783540664253
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text addresses all areas of semantics, logics and verification techniques for concurrent systems, in particular process algebras, Petri nets, event-structures, real-time systems, hybrid systems, stochastic systems, decidability, model-checking, verification and refinement.

Автор: Joxan Jaffar; Roland H.C. Yap
Название: Concurrency and Parallelism, Programming, Networking, and Security
ISBN: 3540620311 ISBN-13(EAN): 9783540620310
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These conference papers are organzied into topical sections on algorithms, constraints and logic programming, distributed systems, formal systems, networking and security, programming and systems, and specification and verification.

Автор: Jacopo Mauro
Название: Constraints Meet Concurrency
ISBN: 9462390665 ISBN-13(EAN): 9789462390669
Издательство: Springer
Рейтинг:
Цена: 11878.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book describes benefits that emerge when the fields of constraint programming and concurrency meet. Proposes an extension to Service Oriented Languages to overcome some of their limitations and to improve the development of concurrent applications.

Автор: Pedro R. D`Argenio; Hernan Melgratti
Название: CONCUR 2013 -- Concurrency Theory
ISBN: 364240183X ISBN-13(EAN): 9783642401831
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Process Semantics and Modal Transition Systems.- VAS and Pushdown Systems.- Pi Calculus and Interaction Nets.- Linearizability and Verification of Concurrent Programs.- Verification of Infinite Models, Model Measure and Reversibility.- Stochastic Models.- Message-Based Interacting Processes.- Principles of Automatic Verification.- Games and Control Synthesis.