搜索结果: 1-1 共查到“计算机科学技术 Capability Calculus”相关记录1条 . 查询时间(0.421 秒)
A Capability Calculus for Concurrency and Determinism
Capability Calculus Concurrency Determinism
2016/5/24
We present a capability calculus for checking partial con-fluence of channel-communicating concurrent processes. Our approach automatically detects more programs to be partially confluent than previou...