Unfoldings by Javier Esparza
In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory.-
Fundamentals of Algebraic Graph Transformation
-
Models and Algorithms of Time-Dependent Scheduling
-
Theoretical Aspects of Distributed Computing in Sensor Networks
-
Handbook of Weighted Automata
-
Coping with Selfishness in Congestion Games
-
First-Order Programming Theories
-
Restricted-Orientation Convexity
-
Fault-Tolerant Search Algorithms
-
Patterns in Permutations and Words
-
Semantic Integration of Heterogeneous Software Specifications
-
Theoretical Aspects of Local Search
-
Computability
-
Syntax-Directed Semantics
-
The Logic of Partial Information
-
Computing in Horn Clause Theories
-
Nonsequential Processes
-
Data Structures and Algorithms 3
-
Relations and Graphs
-
Fundamentals of Algebraic Specification 1
-
Iteration Theories
-
Semirings, Automata, Languages
-
Data Structures and Algorithms 1
-
Petri Nets
-
Kolmogorov Complexity and Computational Complexity
-
Temporal Logic of Programs
-
Confluent String Rewriting
-
Fundamentals of Algebraic Specification 2
-
Parsing Theory
-
Finiteness and Regularity in Semigroups and Formal Languages
-
Coloured Petri Nets
-
Algorithms in Combinatorial Geometry
-
Logics of Specification Languages
-
Graph and Model Transformation
-
Stochastic Coalgebraic Logic
-
Process Algebras for Petri Nets
From the reviews:
"In this book the authors show that the study of ‘unfoldings’, a mathematical formalism for the description and analysis of concurrent systems, alleviates the state explosion problem… Most of the chapters are self-contained in order to increase the readability of the content. … The book provides a good overview on unfoldings techniques to researchers and graduate students engaged in model checking and concurrency theory. It can also be of interest to other people, outside computer science, since concurrency occurs everywere." (Viorel Mihai Gontineac, Zentrablatt MATH, Vol. 1153, 2009)
“The authors are leading experts in the field and provide an excellent account of the most important results in unfoldings within a coherent framework, which is accompanied by many examples. … Overall, this monograph is a success and highly recommended reading for everyone interested in concurrency and automatic verification.” (Gerald Lüttgen, Mathematical Reviews, Issue 2011 k)
| SKU | Unavailable |
| ISBN 13 | 9783540774259 |
| ISBN 10 | 3540774254 |
| Title | Unfoldings |
| Author | Javier Esparza |
| Series | Monographs In Theoretical Computer Science An Eatcs Series |
| Condition | Unavailable |
| Binding Type | Hardback |
| Publisher | Springer |
| Year published | 2008-03-27 |
| Number of pages | 172 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |