COMMUNICATION AND CONCURRENCY

Le Monde En Tique

Commandez cet ouvrage

Ouvrage 9780131150072 : COMMUNICATION AND CONCURRENCY
Table of Contents
Foreword.
1. Modelling Communication.
2. Basic Definitions.
3. Equational laws and Their Application.
4. Strong Bisimulation and Strong Equivalence.
5. Bisimulation and Observation Equivalence.
6. Further Examples.
7. The Theory of Observation Congruence.
8. Defining a Programming Language.
9. Operators and Calculi.
10. Specifications and Logic.
11. Determinancy and Confluence.
12. Sources and Related Work.
Bibliography.
Index.


Auteur : MILNER
Editeur : PRENTICE HALL
Nombre de pages : 260
Date de publication : 10 1989

Commandez cet ouvrage