Seminar on Concurrency, Stephen D. Brookes; Andrew W. Roscoe; Glynn Winske
Автор: 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.
Автор: 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.
Автор: Davide Sangiorgi; Robert de Simone Название: CONCUR `98 Concurrency Theory ISBN: 3540648968 ISBN-13(EAN): 9783540648963 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These papers present the proceedings of an international conference on concurrency theory. They discuss topics which include moduls of computation and semantic domains, process algebras, petri nets, event structures, real-time systems, hybrid systems, model checking and verification techniques.
Автор: Lacan Jacques Название: Anxiety: The Seminar of Jacques Lacan, Book X ISBN: 074566041X ISBN-13(EAN): 9780745660417 Издательство: Wiley Рейтинг: Цена: 9504.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Jacques Lacan is widely recognized as a key figure in the history of psychoanalysis and one of the most influential thinkers of the 20th Century. In Anxiety, now available for the first time in English, he explores the nature of anxiety, suggesting that it is not nostalgia for the object that causes anxiety but rather its imminence.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: Kordon Название: Application and Theory of Petri Nets and Concurrency ISBN: 3319390856 ISBN-13(EAN): 9783319390857 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 37th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2016, held in Torun, Poland, in June 2016.
Автор: Friedrich H. Vogt Название: Concurrency 88 ISBN: 3540504036 ISBN-13(EAN): 9783540504030 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
