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

Автор: Lu?s Caires; Vasco T. Vasconcelos
Название: CONCUR 2007 - Concurrency Theory
ISBN: 3540744061 ISBN-13(EAN): 9783540744061
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

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

Автор: 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
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: 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
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

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

Автор: Jonathan Billington; Kurt Jensen; Maciej Koutny
Название: Transactions on Petri Nets and Other Models of Concurrency III
ISBN: 3642048544 ISBN-13(EAN): 9783642048548
Издательство: Springer
Рейтинг:
Цена: 65170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

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

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

Автор: Dennis Dams; Ulrich Hannemann; Martin Steffen
Название: Concurrency, Compositionality, and Correctness
ISBN: 364211511X ISBN-13(EAN): 9783642115110
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Published in honor of Willem-Paul de Roever, this Festschrift volume contains 19 detailed papers written by the friends and colleagues of the honoree, all eminent scientists in their own right. It addresses topics such as model checking, computer science and state machines, ontology and mereology of domains, game theory, and compiler correctness.

Автор: Jacopo Mauro
Название: Constraints Meet Concurrency
ISBN: 9462390665 ISBN-13(EAN): 9789462390669
Издательство: Springer
Рейтинг:
Цена: 79190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

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

Автор: Kanchana Kanchanasut; Jean-Jacques Levy
Название: Algorithms, Concurrency and Knowledge
ISBN: 3540606882 ISBN-13(EAN): 9783540606888
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These conference proceedings cover topics which include: algorithms; knowledge representation; programming and specification languages; verification; concurrency; networking and distributed systems; and databases.