External equality and absolute equality coincide in finite CCS and <Emphasis Type="Italic">π</Emphasis> calculus without summation 期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

External equality and absolute equality coincide in finite CCS and π calculus without summation

作者姓名：	金云

基金项目：	the National Natural Science Foundation of China （No. 60873034）

摘要：
本文献已被维普 SpringerLink 等数据库收录！