搜索筛选:
搜索耗时1.4704秒,为你在为你在102,267,441篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：Shahram Rahimi,Elham S. Khoras,
来源：软件工程与应用(英文) 年份：2011
Pi-Calculus is a formal method for describing and analyzing the behavior of large distributed and concurrent systems. Pi-calculus offers a conceptual framework...
相关搜索：
