Constraints Meet Concurrency, Jacopo Mauro

Автор: Angelo Oddi; Fran?ois Fages; Francesca Rossi
Название: Recent Advances in Constraints
ISBN: 3642032508 ISBN-13(EAN): 9783642032509
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed and extended post-workshop proceedings of the 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, held in Rome, Italy, in June 2008.

Автор: Raymond Devillers; Antti Valmari
Название: Application and Theory of Petri Nets and Concurrency
ISBN: 3319194879 ISBN-13(EAN): 9783319194875
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2015, held in Brussels, Belgium, in June 2015. The 12 regular papers and 2 tool papers presented in this volume were carefully reviewed and selected from 34 submissions.

Автор: Narciso Mart?-Oliet; Peter Csaba ?lveczky; Carolyn
Название: Logic, Rewriting, and Concurrency
ISBN: 3319231642 ISBN-13(EAN): 9783319231648
Издательство: Springer
Рейтинг:
Цена: 11180.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of Jose Meseguer to honor him on the occasion of his 65th birthday.

Автор: J?rg Desel
Название: Structures in Concurrency Theory
ISBN: 3540199829 ISBN-13(EAN): 9783540199823
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is the proceedings of the Structures in Concurrency Theory workshop (STRICT) that was held from 11 th to l3th May 1995 in Berlin, Germany. Concurrency Theory deals with formal aspects of concurrent systems. Original papers had been sought from all scientists in the field of Concurrency Theory.

Автор: Faron Moller; Graham Birtwistle
Название: Logics for Concurrency
ISBN: 3540609156 ISBN-13(EAN): 9783540609155
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this work on the problem of verifying distributed systems, three chapters concentrate on linear-time or branching-time temporal logics, one addresses process equivalence with an emphasis on infinite-state systems, and the remaining chapter presents a category-theoretic approach to verification.

Автор: Howard Bowman; Rodolfo Gomez
Название: Concurrency Theory
ISBN: 1849969515 ISBN-13(EAN): 9781849969512
Издательство: Springer
Рейтинг:
Цена: 20263.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The simple reason is that it is easier for us to think about sequential, rather than concurrent, systems. Over a period of 25 years, or so, the ?eld of concurrency theory has been involved in the development of a set of mathematical techniques that can help system developers to think about and build concurrent systems.

Автор: Gianfranco Ciardo; Ekkart Kindler
Название: Application and Theory of Petri Nets and Concurrency
ISBN: 3319077333 ISBN-13(EAN): 9783319077338
Издательство: Springer
Рейтинг:
Цена: 11598.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014, held in Tunis, Tunisia, in June 2014. The papers cover various topics in the field of Petri nets and related models of concurrency.

Автор: 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.

Автор: Kanchana Kanchanasut; Jean-Jacques Levy
Название: Algorithms, Concurrency and Knowledge
ISBN: 3540606882 ISBN-13(EAN): 9783540606888
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These conference proceedings cover topics which include: algorithms; knowledge representation; programming and specification languages; verification; concurrency; networking and distributed systems; and databases.

Автор: 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.

Автор: 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.

Автор: 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.