Automata; Probabilistic logic; Synchronization; Markov processes; Computational modeling; Algebra;
机译:分布式概率输入/输出自动机:可表达性,(不可确定性)和算法
机译:基于量子点蜂窝自动机纳米技术的串行输入串行输出(SISO)和并联输入并联输出(PIPO)移位寄存器的优化设计
机译:马尔可夫自动机中基于集总的等价:产品形式分析的算法和应用
机译:概率输入/输出自动机的产品表格
机译:具有产品形式稳态分布的可重入排队系统中的概率策略。
机译:基于广义概率自动机的语义计算形式模型
机译:守护输入/输出自动机的模态界面合同理论,具有交通系统设计中的应用