Concurrency; Automata; Higher-Order; Verification; Model-Checking;
机译:并行可折叠下推系统的饱和
机译:下推和可折叠下推系统在多项式时间内的安全性相等
机译:下推和可折叠下推系统在多项式时间内的安全性相等
机译:并发折叠式推动系统的饱和度
机译:下推控制系统的可决策性和最佳性:一种离散事件控制的新方法。
机译:有氧运动计划对尼日利亚南部患有2型糖尿病同时进行磺脲类药物和二甲双胍治疗的尼日利亚南部人的血糖水平心血管参数外周血氧饱和度和体重指数的影响
机译:并发可折叠下推系统的饱和度
机译:加权下推系统及其在过程间数据流分析中的应用