LIAFA, Univ. of Paris 7, Case 7014, 2 place Jussieu, F-75251 Paris 5, France;
机译:对于弱扩展的进程重写系统,可达到性是决定性的
机译:术语重写系统的可达性分析
机译:通过地面树重写系统完善流程重写系统的层次结构
机译:过程重写系统的可达性分析
机译:符号可达性分析,用于重写理论。
机译:重写系统和生物系统建模
机译:有序并行过程重写系统的有界通信可达性分析
机译:在aRm(抽象重写机)的范围内:通过最小重写系统编译左线性重写系统;软件工程部