仿真对
并发
等价（形式语言）
参考文献
同余（几何）
计算机科学
程序设计语言
过程微积分
域代数上的
索引（排版）
理论计算机科学
数学
离散数学
纯数学
几何学
图书馆学
摘要
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.
科研通智能强力驱动
Strongly Powered by AbleSci AI
cdercder
back you up
昏睡的蟠桃
贰鸟
nozero
Oracle
Yuan
好困
亘古匆匆
xiaxiao
剑指东方是为谁
SYLH
Singularity
gtm
默默地读文献
YifanWang
chxue
zho
小马甲
tramp
皖公网安备34019202002308
