Journal of shanghai Jiaotong University (Science) ›› 2013, Vol. 18 ›› Issue (1): 29-36.doi: 10.1007/s12204-013-1365-6
• Articles • Previous Articles Next Articles
YIN Qiang* (尹强), LONG Huan (龙环)
Online:
2013-02-28
Published:
2013-03-19
Contact:
YIN Qiang* (尹强)
E-mail:yinqiang.sjtu@gmail.com
CLC Number:
YIN Qiang* (尹强), LONG Huan (龙环). Process Passing Calculus, Revisited[J]. Journal of shanghai Jiaotong University (Science), 2013, 18(1): 29-36.
[1] Sangiorgi D. Expressing mobility in process algebras: First-order and higher-order paradigms [D]. Edinburgh: Department of Computer Science, University of Edinburgh, 1992. [2] Milner R. Communication and concurrency [M]. Upper Saddle River, NJ: Prentice-Hall, Inc., 1989. [3] Milner R, Parrow J, Walker D. A calculus of mobile process, part I/II [J]. Journal of Information and Computation, 1992, 100: 1-77. [4] Sangiorgi D. Bisimulation for higher-order process calculi [J]. Information and Computation, 1996, 131(2): 141-178. [5] Sangiorgi D, Kobayashi N, Sumii E. Environmental bisimulations for higher-order languages [J]. ACM Transactions on Programming Languages and Systems, 2011, 33(1): 5-15. [6] Fu Y. Theory of interaction [EB/OL]. (2011-10-24).http://basics.sjtu.edu.cn/~yuxi. [7] van Glabbeek R J. The linear time—branching time spectrum II [C]//Proceedings of 4th International Conference on Concurrency Theory. Heidelberg: Springer-Verlag, 1993: 66-81. [8] Palamidessi C. Comparing the expressive power of the synchronous and asynchronous pi-calculi [J]. Mathematical Structures in Computer Science, 2003, 13(5): 685-719. [9] Gorla D. Towards a unified approach to encodability and separation results for process calculi [J]. Journal of Information and Computation, 2010, 208(9): 1031-1053. [10] Nain S, Vardi M Y. Trace semantics is fully abstract [C]// Proceedings of the 2009 24th Annual IEEE Symposium on Logic in Computer Science. Washington: IEEE, 2009: 59-68. [11] Thomsen B. A calculus of higher order communicating systems [C]//Proceedings of the 16th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages. New York: ACM, 1989: 143-154. [12] Thomsen B. Calculi for higher order communicating systems [D]. London: Imperial College of Science, Technology and Medicine, University of London, 1990. [13] Amadio R M. On the reduction of chocs bisimulation to π-calculus bisimulation [C]//Proceedings of 4th International Conference on Concurrency Theory. Heidelberg: Springer-Verlag, 1993: 112-126. [14] Sangiorgi D. From pi-calculus to higher-order picalculus and back [C]// Proceedings of International Joint Conference on Theory and Practice of Software Development. Heidelberg: Springer-Verlag, 1993: 151-166. [15] Fu Y, Lu H. On the expressiveness of interaction [J]. Theoretical Computer Science, 2010, 411(11-13): 1387-1451. [16] Fu Y, Zhu H. The name-passing calculus [EB/OL]. (2011-10-24). http://basics.sjtu.edu.cn/~yuxi. |
[1] | Duan Jizhong, Su Yan. Improved Sensitivity Encoding Parallel Magnetic Resonance Imaging Reconstruction Algorithm Based on Efficient Sum of Outer Products Dictionary Learning [J]. J Shanghai Jiaotong Univ Sci, 2025, 30(3): 555-565. |
[2] | LIU Wen1, 3 (刘文), XU Jianxin2, 4 (许剑新), YANG Genke1, 3∗ (杨根科), CHEN Yuanfang5 (陈媛芳). Online Vehicle Forensics Method of Responsible Party for Accidents Based on LSTM-BiDBN External Intrusion Detection [J]. J Shanghai Jiaotong Univ Sci, 2024, 29(6): 1161-1168. |
[3] | CHEN Xiao1,2 (陈潇), ZHANG Rui1,2 (张瑞), TANG Xinyi1,2 (汤心溢), QIAN Juan3∗ (钱娟). Prediction of Pediatric Sepsis Using a Deep Encoding Network with Cross Features [J]. J Shanghai Jiaotong Univ Sci, 2024, 29(1): 131-140. |
[4] | JIN Lijie, WU Yatao. Radar Signal Modulation Type Recognition Based on Double CNN [J]. Air & Space Defense, 2022, 5(1): 66-70. |
[5] | Mu L.; Han G.; Liu Z.. Construction of rate-compatible (RC) low-density parity-check (LDPC) convolutional codes based on RC-LDPC block codes [J]. J Shanghai Jiaotong Univ Sci, 2016, 21(6): 679-683. |
[6] | YANG Fei*(杨非), HUANG Hao (黄浩). A Polynomial Time Algorithm for Checking Regularity of Totally Normed Process Algebra [J]. Journal of shanghai Jiaotong University (Science), 2015, 20(3): 273-280. |
[7] | PAN Qian1*(潘谦), HE Xing1 (何星), CAI Yun-ze1 (蔡云泽),WANG Zhi-hua2 (王治华), SU Fan2 (苏凡). Improved Real-Coded Genetic Algorithm Solution for Unit Commitment Problem Considering Energy Saving and Emission Reduction Demands [J]. Journal of shanghai Jiaotong University (Science), 2015, 20(2): 218-223. |
[8] | XU Xian1*(徐贤), LONG Huan2 (龙环). A Logical Characterization for Linear Higher-Order Processes [J]. Journal of shanghai Jiaotong University (Science), 2015, 20(2): 185-194. |
[9] | BAO Yidong1, 2,WU Dongmei1. A Novel Algorithm for Collision Detection Based on Octree of Adaptive Subdivision and Encoding [J]. Journal of Shanghai Jiaotong University, 2015, 49(08): 1114-1122. |
[10] | DU Jiyong1,2,ZHANG Fengming1,HUI Xiaobin1,LI Yongbin1. Overlapping Coalition Generation Using Improved Continuous Particle Swarm Optimization [J]. Journal of Shanghai Jiaotong University, 2013, 47(12): 1918-1923. |
[11] | SHEN Jian-Liang, QI Shu-Bo, LI Jin-Wen, LIU Lei, LI Si-Kun. A Flit-Switch Bufferless Router Based on Encoding Allocation [J]. Journal of Shanghai Jiaotong University, 2013, 47(01): 144-148. |
[12] | NI Ye-feng (倪叶峰), FAN Yuan-chao (范远超), TAN Xin-cheng (谈昕澄) CUI Jin (崔锦), WANG Xiao-ling (王晓玲). Numeric-Based XML Labeling Schema by Generalized Dynamic Method [J]. Journal of shanghai Jiaotong University (Science), 2012, 17(2): 203-208. |
[13] | JIANG Meng-Zhi-1, 2 , ZHAO Feng-Jing-2. Bisimulation Research on C Model Embedded with Computable Function [J]. Journal of Shanghai Jiaotong University, 2012, 46(04): 620-623. |
[14] | DONG Zhen-Hua-a, b , DONG Xiao-Ju-a, b . Representing Bounded Petri Nets by Process Calculi [J]. Journal of Shanghai Jiaotong University, 2011, 45(07): 980-984. |
Viewed | ||||||||||||||||||||||||||||||||||
Full text 358
|
|
|||||||||||||||||||||||||||||||||
Abstract |
|
|||||||||||||||||||||||||||||||||