...
机译:马尔可夫自动机中基于集总的等价:产品形式分析的算法和应用
Università degli Studi di Udine;
Università Ca' Foscari Venezia;
Università degli Studi di Udine;
Università Ca' Foscari Venezia;
Stochastic automata; Quantitative analysis; Behavioural equivalences; Product-forms stochastic models;
机译:产品形式Markovian排队系统具有多种资源
机译:一种广义分区细化算法,实例化加权自动机的语言等效检查
机译:建立确定性多带自动机的等价算法
机译:马尔可夫自动机中基于集总的等价关系及其在产品形式分析中的应用
机译:元胞自动机:算法和应用。
机译:发布者更正:复杂网络上非马尔可夫和马尔可夫传播动力学之间的对等及其无效
机译:Markovian自动机的基于Lumping的等效性:产品形式分析的算法和应用程序
机译:一种测定有限自动机等效性的线性算法