Communication and Concurrency

19896,862 citationsBook

Authors

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.

Topics & Keywords

Logic, programming, and type systems Computability, Logic, AI Algorithms semigroups and automata theory

UN Sustainable Development Goals

Quality Education

Publication Details

Field-Weighted Citation Impact: 45.49

Command Palette

Communication and Concurrency

Authors

Abstract

Topics & Keywords

UN Sustainable Development Goals

Publication Details