Functional Programming, Concurrency, Simulation and Automated Reasoning, Peter E. Lauer

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

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

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

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

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

Автор: Jacopo Mauro
Название: Constraints Meet Concurrency
ISBN: 9462390665 ISBN-13(EAN): 9789462390669
Издательство: Springer
Рейтинг:
Цена: 11878.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book describes benefits that emerge when the fields of constraint programming and concurrency meet. Proposes an extension to Service Oriented Languages to overcome some of their limitations and to improve the development of concurrent applications.

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

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

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

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

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