Concurrency Control in Distributed System Using Mutual Exclusion, Sukhendu Kanrar; Nabendu Chaki; Samiran Chattopadh
Автор: Thomas Gibson-Robinson; Philippa Hopcroft; Ranko L Название: Concurrency, Security, and Puzzles ISBN: 3319510452 ISBN-13(EAN): 9783319510453 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This festschrift was written in honor of Andrew William (Bill) Roscoe on the occasion of his 60th birthday, and features tributes by Sir Tony Hoare, Stephen Brookes, and Michael Wooldridge. He is also world renowned for his pioneering work in analyzing security protocols, modeling information flow, human-interactive security, and much more.
Автор: Klaus Voss; Hartmann J. Genrich; Grzegorz Rozenber Название: Concurrency and Nets ISBN: 3642728243 ISBN-13(EAN): 9783642728242 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Concurrency and Nets is a special volume in the series "Advances in Petri Nets". These papers are contributed partly by researchers that were or are still associated with the Petri Institute at GMD and partly by researchers whose scientific work deals with Net Theory or related system models.
Автор: Maciej Koutny; Jetty Kleijn; Wojciech Penczek Название: Transactions on Petri Nets and Other Models of Concurrency XII ISBN: 3662558610 ISBN-13(EAN): 9783662558614 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 12th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 37th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2016, and the 16th International Conference on Application of Concurrency to System Design, ACSD 2016.
Автор: Susanna Donatelli; Stefan Haar Название: Application and Theory of Petri Nets and Concurrency ISBN: 3030215709 ISBN-13(EAN): 9783030215705 Издательство: Springer Рейтинг: Цена: 10340.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 40th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2019, held in Aachen, Germany, , in June 2018. Petri Nets 2019 is co-located with the 19th International Conference on Application of Concurrency to System Design, ACSD 2019.The 23 regular and 3 invited papers presented together in this volume were carefully reviewed and selected from 41 submissions. The focus of the conference is on following topics: Models, Tools, Synthesis, Semantics, Concurrent Processes, Algorithmic Aspects, Parametrics and Combinatorics, and Models with Extensions.
Автор: 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.
Автор: Alexander Thomasian Название: Database Concurrency Control ISBN: 144195161X ISBN-13(EAN): 9781441951618 Издательство: Springer Рейтинг: Цена: 25149.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Maciej Koutny; Lucia Pomello; Lars Michael Kristen Название: Transactions on Petri Nets and Other Models of Concurrency XIV ISBN: 366260650X ISBN-13(EAN): 9783662606506 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 14th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 39th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2018, and the 18th International Conference on Application of Concurrency to System Design, ACSD 2018.
The 10 papers cover a diverse range of topics including model checking and system verification, refinement, and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: process mining, verification, formal semantics, communication protocols, business processes, distributed systems, and net synthesis. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.
Автор: Wil M. P. van der Aalst; Kurt Jensen Название: Transactions on Petri Nets and Other Models of Concurrency II ISBN: 3642008984 ISBN-13(EAN): 9783642008986 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These Transactions publish archival papers in the area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. This second volume focuses on concurrency in process-aware information systems.
Автор: Jose-Manuel Colom; J?rg Desel Название: Application and Theory of Petri Nets and Concurrency ISBN: 3642386962 ISBN-13(EAN): 9783642386961 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 34th International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2013, held in Milan, Italy, in June 2013. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed.
Автор: Mario Bravetti; Gianluigi Zavattaro Название: CONCUR 2009 - Concurrency Theory ISBN: 3642040802 ISBN-13(EAN): 9783642040801 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the proceedings of the 20th Conference on Concurrency Theory (CONCUR 2009), held in Bologna, September 1-4, 2009. The purpose of the CONCUR conference is to bring together researchers, developers, and s- dentsinordertoadvancethetheoryofconcurrencyandpromoteitsapplications. This year the CONCUR conference was in its 20th edition, and to celebrate 20 years of CONCUR, the conference program included a special session organized by the IFIP Working Groups 1.8 "Concurrency Theory" and 2.2 "Formal - scriptionofProgrammingConcepts"aswellas aninvitedlecturegivenby Robin Milner, one of the fathers of the concurrency theory research area. This edition of the conference attracted 129 submissions. We wish to thank all their authors for their interest in CONCUR 2009. After careful discussions, the Program Committee selected 37 papers for presentation at the conference. Each of them was accurately refereed by at least three reviewers (four reviewers for papers co-authored by members of the Program Committee), who delivered detailedandinsightfulcommentsandsuggestions.TheconferenceChairswarmly thank all the members of the Program Committee and all their sub-referees for the excellent support they gave, as well as for the friendly and constructive discussions. We would also like to thank the authors for having revised their papers to address the comments and suggestions by the referees. The conference program was enriched by the outstanding invited talks by Martin Abadi, Christel Baier, Corrado Priami and, as mentioned above, Robin Milner.
Автор: Franck van Breugel; Marsha Chechik Название: CONCUR 2008 - Concurrency Theory ISBN: 354085360X ISBN-13(EAN): 9783540853602 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held in Toronto, Canada, August 19-22, 2008. This title includes topics such as model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, and formal languages.
Автор: Maciej Koutny; Lars Michael Kristensen; Wojciech P Название: Transactions on Petri Nets and Other Models of Concurrency XIII ISBN: 3662583801 ISBN-13(EAN): 9783662583807 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 13th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 38th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2017, and the 17th International Conference on Application of Concurrency to System Design, ACSD 2017.The 9 papers cover a diverse range of topics including model checking and system verification, refinement, and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: fault-tolerance, service composition, databases, communication protocols, business processes, and distributed systems. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
