Stochastic processes; Specifications; Automata theory; Queueing theory; Sequencing; Real time systems; Semantics;
机译:用单点子系统解决规范描述问题的代数方法
机译:规范和分析资源绑定型实时系统的过程代数方法
机译:混合随机/非随机系统的规范,模拟和隐藏状态估计的随机系统演算
机译:随机系统规范的代数方法(扩展摘要)
机译:从代数规范到正确的VLSI系统(硬件设计,设计自动化)
机译:随机系统的离散代数框架可产生唯一且精确的解决方案
机译:规范随机系统的一种代数方法(扩展摘要