Communication and concurrency

Communication and concurrency
复制标题

DOI：
--
复制
发表时间：
1989
期刊：
--
影响因子：
--
通讯作者：
R. Milner
R. Milner
中科院分区：
其他
文献类型：
--
作者：
R. Milner

文献摘要

被引文献

相似文献

前言。 1。建模通信。 2。基本定义。 3。方程法及其应用。 4。强的一分化和强度的等效性。 5。一分化和观察等效。 6。进一步的例子。 7。观察理论。 8。定义编程语言。 9。操作员和微积分。 10。规格和逻辑。 11。决定性和汇合。 12。来源和相关工作。参考书目。指数。
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.