Logic, Rewriting, and Concurrency, Narciso Mart?-Oliet; Peter Csaba ?lveczky; Carolyn
Автор: Dennis Dams; Ulrich Hannemann; Martin Steffen Название: Concurrency, Compositionality, and Correctness ISBN: 364211511X ISBN-13(EAN): 9783642115110 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Published in honor of Willem-Paul de Roever, this Festschrift volume contains 19 detailed papers written by the friends and colleagues of the honoree, all eminent scientists in their own right. It addresses topics such as model checking, computer science and state machines, ontology and mereology of domains, game theory, and compiler correctness.
Автор: Wil van der Aalst; Eike Best Название: Application and Theory of Petri Nets and Concurrency ISBN: 331957860X ISBN-13(EAN): 9783319578606 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017.
Автор: Lu?s Caires; Vasco T. Vasconcelos Название: CONCUR 2007 - Concurrency Theory ISBN: 3540744061 ISBN-13(EAN): 9783540744061 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory, CONCUR 2007, held in Lisbon, Portugal, September 3-8, 2007. This title presents 30 revised full papers together with 3 invited papers that were reviewed and selected from 112 submissions.
Автор: 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.
Автор: 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.
Описание: The 11th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 36th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2015, and the 15th International Conference on Application of Concurrency to System Design, ACSD 2014. It also contains one paper submitted directly to ToPNoC.The 16 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: security, service composition, communication protocols, business processes, distributed systems, and multi-agent systems. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.
Автор: Fajstrup, Lisbeth Goubault, Eric Walberg, Mireille Mourgues, Anne-marie Haucourt, Emmanuel Mimram, Samuel Raussen, Martin Название: Directed algebraic topology and concurrency ISBN: 3319153978 ISBN-13(EAN): 9783319153971 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This monograph presents an application of concepts and methods from algebraic topology to models of concurrent processes in computer science and their analysis.Taking well-known discrete models for concurrent processes in resource management as a point of departure, the book goes on to refine combinatorial and topological models.
Автор: Friesen, Jeff Название: Java threads and the concurrency utilities ISBN: 1484216997 ISBN-13(EAN): 9781484216996 Издательство: Springer Рейтинг: Цена: 2794.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Chapter 1: Threads and Runnables
Chapter 2: Thread Synchronization and Volatility
Chapter 3: Waiting and Notification
Chapter 4: Additional Thread Capabilities
Chapter 5: Concurrency Utilities and Executors
Chapter 6: Synchronizers
Chapter 7: The Locking Framework
Chapter 8: Additional Concurrency Utilities
Appendix A: Answers to Exercises
Appendix B: Threads and the Standard Class Library
Notes:
1) Chapter 4 covers thread groups, thread-local variables, and the Timer Framework.
2) Chapter 8 covers concurrent collections, atomic variables, and the Fork/Join Framework.
Total page count estimate: 300 pages
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
