w*********
Lv.0
2020/08/06 16:31
传值ccs和π演算互模拟等价的验证理论和算法阅读笔记
本书的研究背景和主要工作。其中，我关注的部分是李老师结合传值ccs的强互模拟和基本ccs的弱互模拟以及观察同余验证技术，给出的传值ccs强弱、迟早互模拟和迟早观察同余的验证算法
领书计划详情
