连接演算中的互模拟 电子书下载

原名:Bisimulations in the Join-Calculus
作品简介:为了使标记互模拟适应连接演算，我们提出了对立即触发反应规则的消息集的重新入侵。……