|
|
libcats.org
Concurrency TheoryHoward Bowman, Rodolfo GomezConcurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages and graphical notations for describing collections of simultaneously evolving components that interact through synchronous communication. The main specification notation focused on in this book is LOTOS. An extensive introduction to this particular process calculus is given, highlighting how the approach differs from competitor techniques, such as CCS and CSP.
The book covers linear-time semantics, based on traces; branching-time semantics, using both labeled transition systems and refusals; and true concurrency semantics, using (bundle) event structures. In addition, the book discusses communicating automata approaches (both finite and infinite state); how the theory can be generalised to the timed setting; and, finally the authors generalise the (finite and infinite state) communicating automata notations to yield timed automata and discrete timed automata. This book represents a comprehensive pass through the spectrum of concurrency theory research: From untimed to timed syntax and semantics and process calculi to automata. Researchers and practitioners in the field of concurrency theory, as well as MSc and PhD students, will find the comprehensive coverage in this book essential reading.
Популярные книги за неделю:
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапахАвтор: Роман Савин
Размер книги: 5.26 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Священная кровь и священный граальАвтор: Баджент Майкл, Автор: Лей РичардКатегория: Религиозная литература
Размер книги: 691 Kb
Theory of slow atomic collisionsАвтор: E.E. Nikitin, Автор: S.Y. UmanskiiКатегория: Physics
Размер книги: 2.91 Mb
Rationality and Feminist Philosophy (Continuum Studies in Philosophy)Автор: Deborah K. HeikesКатегория: Образование
Размер книги: 947 Kb
Asthma: The at Your Fingertips Guide 4th EditionАвтор: Mark Levy, Автор: Tricia Weller, Автор: Sean Hilton
Размер книги: 2.80 Mb
Researching the Vulnerable: A Guide to Sensitive Research MethodsАвтор: Pranee Liamputtong
Размер книги: 947 Kb
Тектоника, геодинамика и перспективы нефтегазоносноти Восточно-Арктических морей и их континентального обрамленияАвтор: Хаин В.Е., Автор: Филатова Н.И., Автор: Полякова И.Д.
Размер книги: 86.31 Mb
|
|
|