Logics for Concurrency, Faron Moller; Graham Birtwistle
Автор: Dennis Dams; Ulrich Hannemann; Martin Steffen Название: Concurrency, Compositionality, and Correctness ISBN: 364211511X ISBN-13(EAN): 9783642115110 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Описание: This collection arose from a series of lectures for workers in computer science and other disciplines. The lectures were intended to familiarize them with some advanced computer based systems for the conceptualization, design, implementation, simulation, and logical analysis of applications.
Автор: 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.
Автор: Mario Bravetti; Gianluigi Zavattaro Название: CONCUR 2009 - Concurrency Theory ISBN: 3642040802 ISBN-13(EAN): 9783642040801 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the proceedings of the 20th Conference on Concurrency Theory (CONCUR 2009), held in Bologna, September 1-4, 2009. The purpose of the CONCUR conference is to bring together researchers, developers, and s- dentsinordertoadvancethetheoryofconcurrencyandpromoteitsapplications. This year the CONCUR conference was in its 20th edition, and to celebrate 20 years of CONCUR, the conference program included a special session organized by the IFIP Working Groups 1.8 "Concurrency Theory" and 2.2 "Formal - scriptionofProgrammingConcepts"aswellas aninvitedlecturegivenby Robin Milner, one of the fathers of the concurrency theory research area. This edition of the conference attracted 129 submissions. We wish to thank all their authors for their interest in CONCUR 2009. After careful discussions, the Program Committee selected 37 papers for presentation at the conference. Each of them was accurately refereed by at least three reviewers (four reviewers for papers co-authored by members of the Program Committee), who delivered detailedandinsightfulcommentsandsuggestions.TheconferenceChairswarmly thank all the members of the Program Committee and all their sub-referees for the excellent support they gave, as well as for the friendly and constructive discussions. We would also like to thank the authors for having revised their papers to address the comments and suggestions by the referees. The conference program was enriched by the outstanding invited talks by Martin Abadi, Christel Baier, Corrado Priami and, as mentioned above, Robin Milner.
Автор: 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.
Автор: 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 Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
