CONCUR`99. Concurrency Theory, Jos C.M. Baeten; Sjouke Mauw

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

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

Автор: Kim G. Larsen; Mogens Nielsen
Название: CONCUR 2001 - Concurrency Theory
ISBN: 3540424970 ISBN-13(EAN): 9783540424970
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text constitutes the proceedings of the 12th International Conference on Concurrency Theory, 2001 and contains 32 revised papers and six invited contributions organized in topical sections on mobility, games, probabilistic systems, model checking, unfolding and prefixes and process algebra.

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

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