Overview
- First book to adopt the approach taken by the LOTOS process calculi and its theory
- Combines timed automata with region graph based model-checking – a highly topical approach
- Includes supplementary material: sn.pub/extras
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (13 chapters)
-
Introduction
-
Concurrency Theory — Untimed Models
-
Concurrency Theory — Further Untimed Notations
-
Concurrency Theory — Timed Models
Keywords
About this book
Reviews
From the reviews:
"This book covers a wide range of results from works in concurrency theory … . scientists and students doing research in various related areas such as concurrency control or parallel computing will find this book quite useful. … the book represents a comprehensive coverage of the development of concurrency theory reflecting the historical progression of the field. … The book undoubtedly will suit students and specialists doing research in concurrency theory … ." (Alekber Aliyev, Zentralblatt MATH, Vol. 1140, 2008)
Authors and Affiliations
Bibliographic Information
Book Title: Concurrency Theory
Book Subtitle: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
Authors: Howard Bowman, Rodolfo Gomez
DOI: https://doi.org/10.1007/1-84628-336-1
Publisher: Springer London
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag London 2006
Hardcover ISBN: 978-1-85233-895-4Published: 21 December 2005
Softcover ISBN: 978-1-84996-951-2Published: 13 October 2010
eBook ISBN: 978-1-84628-336-9Published: 28 February 2006
Edition Number: 1
Number of Pages: XX, 422
Number of Illustrations: 126 b/w illustrations
Topics: Theory of Computation, Software Engineering, Logics and Meanings of Programs