一种递归π演算向Petri网的转换方法
, 张双双 Petri net translation of recursion π-calculus
KANG Hui1 , ZHANG Shuang-shuang1, 2 , MEI Fang1
, ZHANG Shuang-shuang Fig.2 Composition rules
一种递归π演算向Petri网的转换方法 |
|
康辉, 张双双 |
Petri net translation of recursion π-calculus |
|
KANG Hui
, ZHANG Shuang-shuang |
| 图2 组合规则 Fig.2 Composition rules |
| |