多项式程序模型的互模拟等价
邓辉;吴尽昭
多项式程序模型的互模拟等价
Bisimulation equivalence for polynomial program model
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 | 〉 |