Abstract
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.
Keywords
BisimulationConcurrencyEquivalence (formal languages)BibliographyCongruence (geometry)Computer scienceProgramming languageProcess calculusAlgebra over a fieldIndex (typography)Theoretical computer scienceMathematicsDiscrete mathematicsPure mathematics
Affiliated Institutions
Related Publications
An Introduction to Computational Learning Theory
Emphasizing issues of computational efficiency, Michael Kearns and Umesh Vazirani introduce a number of central topics in computational learning theory for researchers and stude...
From Machine Learning to Machine Reasoning
A plausible definition of "reasoning" could be "algebraically manipulating previously acquired knowledge in order to answer a new question". This definition covers first-order l...
Publication Info
- Year
- 1989
- Type
- book
- Citations
- 6859
- Access
- Closed
External Links
Citation Metrics
6859
OpenAlex
Cite This
Robin Milner
(1989).
Communication and Concurrency.
.