action- based Continuous Stochastic Logic的意思|示意
美 / /
英 / /
基于动作的连续随机逻辑
action- based Continuous Stochastic Logic的网络常见释义
基于动作的时序逻辑 以进程间的 移动通信为研究对象，引入基于动作的时序逻辑(action- based Continuous Stochastic Logic, aCSL)，可得构件交互行为 的执行序列。