机译:并发程序的图形重写模型的行为等效
Mathematical Science and Electronic Technology, Graduate School of Natural Science and Technology, Okayama University, Okayama, Japan;
distributed computing; theory of concurrency; π-calculus; bisimilarity; graph rewriting;
机译:软并发约束编程的观察和行为等效
机译:融合并发约束编程的高效程序等效算法
机译:无限重写:闭包运算符,等价物和模型
机译:并发程序的图形重写模型的范围等价的同余结果
机译:一种用于并发编程语言设计和语义的重写方法。
机译:同时注射未标记的抗体允许程序性细胞死亡配体的正电子发射断层扫描成像1在原位胰腺肿瘤模型中的表达
机译:并发重写等价图