...
机译:对于真正的并发过程代数的过程逻辑中可靠性的不可逃号
sychol.ucl.ac.uk;
sychol.ucl.ac.uk;
Process algebra; Process logic; True concurrency; Satisfiability; Distributed system;
机译:对于真正的并发过程代数的过程逻辑中可靠性的不可逃号
机译:用于检查分布式系统的过程逻辑的可满足性的工具
机译:用于检查分布式系统的过程逻辑的可满足性的工具
机译:二十年:对CEDISYS项目的思考。将真正的并发与流程代数相结合
机译:并行动态仿真:多计算机算法研究应用于化学工程中的普通微分代数处理系统。
机译:鸡精成分的化学组成真正的营养消化率和真正的代谢能因采用精密喂养的切除公鸡方法的加工方法而异
机译:二十年:关于CEDIsYs项目的思考。将真正的并发与流程代数相结合
机译:带守卫的过程代数:将Hoare逻辑与过程代数相结合