action- based Continuous Stochastic Logic的意思|示意

美 / / 英 / /

基于动作的连续随机逻辑


action- based Continuous Stochastic Logic的网络常见释义

基于动作的时序逻辑 以进程间的 移动通信为研究对象,引入基于动作的时序逻辑(action- based Continuous Stochastic Logic, aCSL),可得构件交互行为 的执行序列。