Application and Theory of Petri Nets and Concurrency, Khomenko
Автор: Wolfgang Reisig Название: Petri Nets ISBN: 3642699707 ISBN-13(EAN): 9783642699702 Издательство: Springer Рейтинг: Цена: 16070.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Net theory is a theory of systems organization which had its origins, about 20 years ago, in the dissertation of C. The main concern of this book is the presentation of those parts of net theory which can serve as a basis for practical application. By generali- zation of these notions a part of the theory of nets is presented.
Автор: Kordon Название: Application and Theory of Petri Nets and Concurrency ISBN: 3319390856 ISBN-13(EAN): 9783319390857 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 37th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2016, held in Torun, Poland, in June 2016.
Автор: R.J. De Queiroz Название: Logic for Concurrency and Synchronisation ISBN: 9401740003 ISBN-13(EAN): 9789401740005 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is for researchers in computer science, mathematical logic, and philosophical logic. It shows the state of the art in current investigations of process calculi with mainly two major paradigms at work: linear logic and modal logic.
Автор: Malkhi Dahlia Название: Concurrency: The Works of Leslie Lamport ISBN: 1450372716 ISBN-13(EAN): 9781450372718 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 10352.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book is a celebration of Leslie Lamport's work on concurrency, interwoven in four-and-a-half decades of an evolving industry: from the introduction of the first personal computer to an era when parallel and distributed multiprocessors are abundant.
His works lay formal foundations for concurrent computations executed by interconnected computers. Some of the algorithms have become standard engineering practice for fault tolerant distributed computing - distributed systems that continue to function correctly despite failures of individual components. He also developed a substantial body of work on the formal specification and verification of concurrent systems, and has contributed to the development of automated tools applying these methods.
Part I consists of technical chapters of the book and a biography. The technical chapters of this book present a retrospective on Lamport's original ideas from experts in the field. Through this lens, it portrays their long-lasting impact. The chapters cover timeless notions Lamport introduced: the Bakery algorithm, atomic shared registers and sequential consistency; causality and logical time; Byzantine Agreement; state machine replication and Paxos; temporal logic of actions (TLA). The professional biography tells of Lamport's career, providing the context in which his work arose and broke new grounds, and discusses LaTeX - perhaps Lamport's most influential contribution outside the field of concurrency. This chapter gives a voice to the people behind the achievements, notably Lamport himself, and additionally the colleagues around him, who inspired, collaborated, and helped him drive worldwide impact. Part II consists of a selection of Leslie Lamport's most influential papers.
This book touches on a lifetime of contributions by Leslie Lamport to the field of concurrency and on the extensive influence he had on people working in the field. It will be of value to historians of science, and to researchers and students who work in the area of concurrency and who are interested to read about the work of one of the most influential researchers in this field.
Автор: Alexander Thomasian Название: Database Concurrency Control ISBN: 144195161X ISBN-13(EAN): 9781441951618 Издательство: Springer Рейтинг: Цена: 25149.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Grzegorz Rozenberg Название: Advances in Petri Nets 1988 ISBN: 3540505806 ISBN-13(EAN): 9783540505808 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development in this area.
Автор: Paul F. Burton; J. Howard Petrie Название: Information Management Technology ISBN: 0412341301 ISBN-13(EAN): 9780412341304 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Once again the wide-ranging and rapid developments in microcomputer technology of the last few years have meant that a detailed revision of The librarian`s guide to microcomputers for information management was required, if it was to fulfil its objectives of providing a single source of information on the process of automating with a microcomputer.
Автор: Susanna Donatelli; Stefan Haar Название: Application and Theory of Petri Nets and Concurrency ISBN: 3030215709 ISBN-13(EAN): 9783030215705 Издательство: Springer Рейтинг: Цена: 10340.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 40th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2019, held in Aachen, Germany, , in June 2018. Petri Nets 2019 is co-located with the 19th International Conference on Application of Concurrency to System Design, ACSD 2019.The 23 regular and 3 invited papers presented together in this volume were carefully reviewed and selected from 41 submissions. The focus of the conference is on following topics: Models, Tools, Synthesis, Semantics, Concurrent Processes, Algorithmic Aspects, Parametrics and Combinatorics, and Models with Extensions.
Автор: Malkhi Dahlia Название: Concurrency: The Works of Leslie Lamport ISBN: 1450372708 ISBN-13(EAN): 9781450372701 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 12860.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is a celebration of Leslie Lamport's work on concurrency, interwoven in four-and-a-half decades of an evolving industry: from the introduction of the first personal computer to an era when parallel and distributed multiprocessors are abundant.His works lay formal foundations for concurrent computations executed by interconnected computers. Some of the algorithms have become standard engineering practice for fault tolerant distributed computing – distributed systems that continue to function correctly despite failures of individual components. He also developed a substantial body of work on the formal specification and verification of concurrent systems, and has contributed to the development of automated tools applying these methods.Part I consists of technical chapters of the book and a biography. The technical chapters of this book present a retrospective on Lamport's original ideas from experts in the field. Through this lens, it portrays their long-lasting impact. The chapters cover timeless notions Lamport introduced: the Bakery algorithm, atomic shared registers and sequential consistency; causality and logical time; Byzantine Agreement; state machine replication and Paxos; temporal logic of actions (TLA). The professional biography tells of Lamport's career, providing the context in which his work arose and broke new grounds, and discusses LaTeX – perhaps Lamport's most influential contribution outside the field of concurrency. This chapter gives a voice to the people behind the achievements, notably Lamport himself, and additionally the colleagues around him, who inspired, collaborated, and helped him drive worldwide impact. Part II consists of a selection of Leslie Lamport's most influential papers.This book touches on a lifetime of contributions by Leslie Lamport to the field of concurrency and on the extensive influence he had on people working in the field. It will be of value to historians of science, and to researchers and students who work in the area of concurrency and who are interested to read about the work of one of the most influential researchers in this field.
Автор: Kees van van Hee; R?diger Valk Название: Applications and Theory of Petri Nets ISBN: 3540687459 ISBN-13(EAN): 9783540687450 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2008, held in Xi`an, China, in June 2008.
Автор: Filipe de Carvalho Moutinho; Lu?s Filipe Santos Go Название: Distributed Embedded Controller Development with Petri Nets ISBN: 3319208217 ISBN-13(EAN): 9783319208213 Издательство: Springer Рейтинг: Цена: 9141.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Introduction.- Related work.- Development of distributed embedded controllers.- Application Example.- Conclusions and future work.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
