Communication and Concurrency 论文
1989引用 6882
Logic, programming, and type systemsComputability, Logic, AI Algorithmssemigroups and automata theory
详细信息
- 发表日期
- 1989-01-01
- 发表年份
- 1989
关键词
Logic, programming, and type systemsComputability, Logic, AI Algorithmssemigroups and automata theory
摘要
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.