Topology in process calculus - Mingshend Ying - Librairie Eyrolles
Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Topology in process calculus
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Topology in process calculus

Topology in process calculus

Mingshend Ying

218 pages, parution le 01/12/2000

Résumé

Process calculi are among the most successful models of concurrent systems. Various behavior equivalences between processes are central notions in CCS (calculus of communicating systems) and other process calculi. In the real applications, specification and implementation are described as two processes, and correctness of programs is treated as a certain behavior equivalence between them.

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

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription