Concurrency: Theory, Language, and Architecture, Akinori Yonezawa; Takayasu Ito

Автор: Ugo Montanari; Vladimiro Sassone
Название: CONCUR `96: Concurrency Theory
ISBN: 3540616047 ISBN-13(EAN): 9783540616047
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the proceedings of the 7th International Conference on Concurrency Theory, CONCUR `96. The contributions in the text are grouped into topical sections on process algebras, categorical approaches, the pi-calculus, decidability and complexity, functional and constraint programming.

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

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

Автор: Lubos Brim; Petr Jancar; Mojmir Kretinsky; Antonin
Название: CONCUR 2002 - Concurrency Theory
ISBN: 3540440437 ISBN-13(EAN): 9783540440437
Издательство: Springer
Рейтинг:
Цена: 16070.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These are the refereed proceedings of the 13th International Conference on Concurrency Theory, CONCUR 2002, held in Brno, Czech Republic in August 2002.

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

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

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

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

Автор: Antoni Mazurkiewicz; Jozef Winkowski
Название: CONCUR`97: Concurrency Theory
ISBN: 3540631410 ISBN-13(EAN): 9783540631415
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Forming the proceedings of the 8th International Conference on Concurrency Theory held in 1997, this volume covers topics in the science of concurrency theory and its applications, including: reactive systems, hybrid systems, model checking, partial orders, and program logic calculi.

Автор: Catuscia Palamidessi
Название: CONCUR 2000 - Concurrency Theory
ISBN: 3540678972 ISBN-13(EAN): 9783540678977
Издательство: Springer
Рейтинг:
Цена: 16070.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers address concurrency-related aspects of models of computation; semantic domains; process algebras; Petri nets; event structures; real-time systems; hybrid systems; decidability; model checking; verification techniques; refinement; term and graph rewriting; and other topics.

Автор: Paolo Baldan; Daniele Gorla
Название: CONCUR 2014 – Concurrency Theory
ISBN: 3662445832 ISBN-13(EAN): 9783662445839
Издательство: Springer
Рейтинг:
Цена: 10062.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The focus of the conference is on the following topics: process calculi, model checking and abstraction, synthesis, quantitative models, automata and multithreading, complexity, process calculi and types, categories, graphs and quantum systems, automata and time, and games.