• Articles • Previous Articles     Next Articles

Barbed Congruence of Asymmetry and Mismatch

Xiao-Ju Dong and Yu-Xi Fu   

  1. BASICS, Department of Computer Science, Shanghai Jiao Tong University, Shanghai 200240, China
  • Received:2003-10-16 Revised:2007-03-30 Online:2007-07-10 Published:2007-07-10

The $\chi$ calculus is a model of concurrent and mobile systems. It emphasizes that communications are information exchanges. In the paper, two constructions are incorporated into the framework of the chi calculus, which are asymmetric communication and mismatch condition widely used in applications. Since the barbed bisimilarity has proved its generality and gained its popularity as an effective approach to generating a reasonable observational equivalence, we study both the operational and algebraic properties of the barbed bisimilarity in this enriched calculus. The investigation supports an improved understanding of the bisimulation behaviors of the model. It also gives a general picture of how the two constructions affect the observational theory.

Key words: scalable I/O low-level API; parallel file system; scalability; client cache; collective I/O; Intel Paragon;



[1]Fu Y. A proof theoretical approach to communications. In -\it Proc. Int. Colloquium on Automata, Languages and Programming, LNCS} 1256, Bologna, Italy, 1997, pp.325$\sim$335.

[2] Fu Y. Reaction graphs. -\it Journal of Computer Science and Technology}, 1998, 13(6): 510$\sim$530.

[3] Victor B, Parrow J. Concurrent constraints in the fusion calculus. In -\it Proc. Int. Colloquium on Automata, Languages and Programming}, Aalborg, Denmark, 1998, pp.455$\sim$469.

[4] Parrow J, Victor B. The tau-laws of fusion. In -\it Proc. Int. Conf. Concurrency Theory, LNCS} 1466, Nice, France, 1998, pp.99$\sim$114.

[5] Fu Y. Bisimulation lattice of chi processes. In -\it Proc. ASIAN}, Pisa, Italy, 1996, pp.245$\sim$262.

[6] Fu Y. Variations on mobile processes. -\it Theoretical Computer Science}, 1999, 221(1/2): 327$\sim$368.

[7] Fu Y. Bisimulation congruence of chi calculus. -\it Information and Computation}, 2003, 184(1): 201$\sim$226.

[8]Parrow J, Victor B. The update calculus. In -\it Proc. Int. Colloquium on Automata, Languages and Programming, LNCS} 1119, Manila, The Philippines, 1998, pp.389$\sim$405.

[9] Fu Y. Open bisimulations of chi processes. In -\it Proc. Int. Colloquium on Automata, Languages and Programming, LNCS} 1664, Eindhoven, The Netherlands, 1999, pp.304$\sim$319.

[10] Fu Y, Yang Z. Chi calculus with mismatch. In -\it Proc. Int. Colloquium on Automata, Languages and Programming, LNCS} 1877, University Park, PA, USA, 2000, pp.596$\sim$610.

[11] Fu Y, Yang Z. Understanding the mismatch combinator in chi calculus. -\it Theoretical Computer Science}, 2003, 290(1): 779$\sim$830.

[12] Dong X. Algebraic theory of asymmetric chi calculus with mismatch
[Dissertation]. Shanghai Jiao Tong Univ., China, 2004.

[13] Milner R, Sangiorgi D. Barbed bisimulation. In -\it Proc. Automata, Languages and Programming}, Wien, Austria, 1992, pp.685$\sim$695. %, LNCS623

[14] Milner R. Communication and Concurrency. New York: Prentice Hall, 1989.

[15] Fu Y, Yang Z. Tau laws for pi calculus. -\it Theoretical Computer Science}, 2003, 308(1$\sim$3): 55$\sim$130.
[1] Zhi-Guang Chen, Yu-Bo Liu, Yong-Feng Wang, Yu-Tong Lu. A GPU-Accelerated In-Memory Metadata Management Scheme for Large-Scale Parallel File Systems [J]. Journal of Computer Science and Technology, 2021, 36(1): 44-55.
[2] Zhi-Yuan Dong, Chu-Zhe Tang, Jia-Chen Wang, Zhao-Guo Wang, Hai-Bo Chen, Bin-Yu Zang. Optimistic Transaction Processing in Deterministic Database [J]. Journal of Computer Science and Technology, 2020, 35(2): 382-394.
[3] Yu-Tong Lu, Peng Cheng, Zhi-Guang Chen. Design and Implementation of the Tianhe-2 Data Storage and Management System [J]. Journal of Computer Science and Technology, 2020, 35(1): 27-46.
[4] Qi Chen, Kang Chen, Zuo-Ning Chen, Wei Xue, Xu Ji, Bin Yang. Lessons Learned from Optimizing the Sunway Storage System for Higher Application I/O Performance [J]. Journal of Computer Science and Technology, 2020, 35(1): 47-60.
[5] Yang Hong, Yang Zheng, Fan Yang, Bin-Yu Zang, Hai-Bing Guan, Hai-Bo Chen. Scaling out NUMA-Aware Applications with RDMA-Based Distributed Shared Memory [J]. Journal of Computer Science and Technology, 2019, 34(1): 94-112.
[6] Zeinab Hmedeh, Harry Kourdounakis, Vassilis Christophides, Cédric du Mouza, et al. Content-Based Publish/Subscribe System for Web Syndication [J]. , 2016, 31(2): 359-380.
[7] Lengdong Wu, Liyan Yuan, Jiahuai You. Survey of Large-Scale Data Management Systems for Big Data Applications [J]. , 2015, 30(1): 163-183.
[8] LI Lei, WANG Ding-Ding, SHU Shun-Zhi, LI Chao. Personalized News Recommendation: A Review and an Experimental Investigation [J]. , 2011, 26(5): 754-766.
[9] Jing Zhou, Member, ACM, Wendy Hall, Member, ACM, and David De Roure, Member, ACM. Building a Distributed Infrastructure for Scalable Triple Stores [J]. , 2009, 24(3): 447-462.
[10] Xue Zhang, Jue Hong, Sang-Lu Lu, Li Xie, and Jian-Nong Cao. Scoped Bellman-Ford Geographic Routing for Large Dynamic Wireless Sensor Networks [J]. , 2008, 23(6 ): 944-956 .
[11] Jian-Ping Wu and Ke Xu. Research on Next-Generation Internet Architecture [J]. , 2006, 21(5): 723-731 .
[12] Jia-Wei Han, Jian Pei, and Xi-Feng Yan. From Sequential Pattern Mining to Structured Pattern Mining: A Pattern-Growth Approach [J]. , 2004, 19(3): 0-0.
[13] SHI Weisong; HU weiwu; TANG Zhimin;. Where Does the Time Go in Software DSMs?—Experiences with JIAJIA [J]. , 1999, 14(3): 193-205.
[14] SUN Ninghui;. Reference Implementation of Scalable I/O Low-Level API on Intel Paragon [J]. , 1999, 14(3): 206-223.
[15] Sun Jiachang; Chi Xuebin; Cao Jianwen; Zhang Linbo;. Parallel Algorithm Design on Some Distributed Systems [J]. , 1997, 12(2): 97-104.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!

ISSN 1000-9000(Print)

         1860-4749(Online)
CN 11-2296/TP

Home
Editorial Board
Author Guidelines
Subscription
Journal of Computer Science and Technology
Institute of Computing Technology, Chinese Academy of Sciences
P.O. Box 2704, Beijing 100190 P.R. China
Tel.:86-10-62610746
E-mail: jcst@ict.ac.cn
 
  Copyright ©2015 JCST, All Rights Reserved