Calculi for Concurrent Processes
-
1林惠民.Computing Bisimulations for Finite-Controlπ-Calculus[J].Journal of Computer Science & Technology,2000,15(1):1-9. 被引量：1
-
2王飞跃.纪念Pnueli教授:一位信息科学领域的开拓者和“拯救者”[J].科技导报,2010,28(14):123-123.
-
3Wei LI,Yuefei SUI.A sound and complete R-calculi with respect to contraction and minimal change[J].Frontiers of Computer Science,2014,8(2):184-191. 被引量：1
-
4金英,金成植.Action演算中动作之间数据流分析方法及其实现[J].计算机科学,2002,29(z1):90-91.
-
5金英,金成植.γ演算到Action演算的转换[J].软件学报,2003,14(1):16-22.
-
6傅城,尤晋元.Using location types to control interferences in mobile resources[J].Journal of Zhejiang University-Science A(Applied Physics & Engineering),2005,6(5):414-419.
-
7WANG Shengsheng,WEN Changji,LAI Yong,LIU Yiting,LIU Dayou.Interactive Activity Learning from Trajectories with Qualitative Spatio-Temporal Relation[J].Chinese Journal of Electronics,2015,24(3):508-512. 被引量：1
-
8金英,金成植.命令式语言的高阶A ction演算表示[J].计算机研究与发展,2002,39(10):1366-1373.
-
9傅育熙.Reaction Graph[J].Journal of Computer Science & Technology,1998,13(6):510-530. 被引量：2
-
10傅育熙.A functional presentation of Pi calculus[J].Science in China(Series F),2001,44(1):20-32.
