Résumé
The purpose of this book is to establish a theory of approximate correctness and infinite evolution of concurrent programs by employing some notions and tools from. point-set topology. This book is restricted to CCS for simplicity, but the main idea also applies to some other process calculi. The concept of bisimulation limits, useful for the understanding and analysis of infinite evolution of processes, is introduced. In addition, the notions of near bisimulations and bisimulation indexes, suitable in describing approximate correctness of concurrent programs, are proposed.
The book will be of particular interest to researchers in the fields of theoretical computer science, especially theory of concurrency and hybrid systems, and graduate students in related disciplines. It will also be valuable to practical system designers developing concurrent and/or real-time systems.
Contents
- Preface
- Introduction
- Process Calculculs
- Bisimulation and Trace Limits of Agents
- Limit Behavior of Agents
- Near Bisimulations Defined by Glosures
- Bisimulation Indexes Induced by Metrics
- Conclusion
- References
- Index
Caractéristiques techniques
PAPIER | |
Éditeur(s) | Springer |
Auteur(s) | Mingshend Ying |
Parution | 01/12/2000 |
Nb. de pages | 218 |
Format | 16 x 24 |
Couverture | Relié |
Poids | 464g |
Intérieur | Noir et Blanc |
EAN13 | 9780387950921 |
ISBN13 | 978-0-387-95092-1 |
Avantages Eyrolles.com
Nos clients ont également acheté
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
- Sciences Mathématiques Mathématiques par matières Algèbre Algèbre et groupes de lie
- Sciences Mathématiques Mathématiques par matières Algèbre Théorie de Galois
- Sciences Mathématiques Mathématiques par matières Géométrie Géométrie non euclidienne
- Sciences Mathématiques Mathématiques par matières Topologie
- Sciences Etudes et concours Classes préparatoires et grandes écoles - Livres classes prépas scientifiques Mathématiques