机译:并行量子系统的自动等效检查
Inst Res Fundamental Sci IPM, Sch Comp Sci, Farmanieh Campus,Lavasani St, Tehran 1953833511, Iran;
Univ Glasgow, Sch Comp Sci, Glasgow G12 8QQ, Lanark, Scotland;
Middlesex Univ, Fac Sci & Technol, Dept Comp Sci, London NW4 4BT, England;
Quantum information processing; process calculi; programming language semantics; concurrency; equivalence checking;
机译:检查并发系统中MDA转换的语义等效性
机译:量子马尔可夫链;混合系统的描述,等价性和模型检查线性时间属性
机译:量子有限状态机的等价检查
机译:通过等效性检查验证并行量子协议
机译:检查并发系统级代码的数据共享策略。
机译:自动化系统与市售微稀释塔盘同时进行可比性测试的可比性。
机译:用等价性检验验证并发量子协议
机译:自动公路系统的前兆系统分析。活动区域C.automated Check-Out