Departement d'Informatique, Universite Libre de Bruxelles CP212, B-1050 Bruxelles, Belgium;
mobility; process algebra; π-calculus; petri nets; compositional translation; behavioural consistency;
机译:一般π-微积分项的成分Petri网翻译
机译:pi演算FCP到安全Petri网的多项式转换
机译:有限π演算项的Petri网语义
机译:π演算项的Petri网翻译
机译:通过中间Petri网表示将动态编程问题自动转换为JAVA代码及其解决方案。
机译:模拟拟南芥的代谢:网络分解和网络还原在Petri网中的应用
机译:pi-calculus FCp到安全petri网的多项式转换
机译:pi-Calculus术语的petri网翻译