A Symbolic Semantics for the pi-calculus (Extended Abstract)
暂无分享,去创建一个
[1] Davide Sangiorgi,et al. Algebraic Theories for Name-Passing Calculi , 1993, Inf. Comput..
[2] Matthew Hennessy,et al. Symbolic Bisimulations , 1995, Theor. Comput. Sci..
[3] Rocco De Nicola,et al. A Symbolic Semantics for the pi-Calculus , 1996, Inf. Comput..
[4] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[5] Rocco De Nicola,et al. Testing Equivalence for Mobile Processes (Extended Abstract) , 1992, CONCUR.
[6] Mads Dam. Model Checking Mobile Processes , 1993, CONCUR.
[7] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..