期刊文献+

External Equality and Absolute Equality Coincide in Finite CCS and π Calculus Without Summation

External Equality and Absolute Equality Coincide in Finite CCS and π Calculus Without Summation
原文传递
导出
摘要 External equality and absolute equality are defined model independently by Fu. It is interesting and important to know whether these two equalities coincide or not. There are some results in Fu's paper for this issue. It is relatively easy to prove the coincidence if the summation operator is in the language, otherwise it is harder. In fact Fu proposed it as an open problem whether the two equalities coincide in some languages without summation. In this paper, the proofs of the coincidence in finite CCS and π calculus without summation are given. External equality and absolute equality are defined model independently by Fu. It is interesting and important to know whether these two equalities coincide or not. There are some results in Fu's paper for this issue. It is relatively easy to prove the coincidence if the summation operator is in the language, otherwise it is harder. In fact Fu proposed it as an open problem whether the two equalities coincide in some languages without summation. In this paper, the proofs of the coincidence in finite CCS and π calculus without summation are given.
作者 金云
出处 《Journal of Shanghai Jiaotong university(Science)》 EI 2011年第5期533-537,共5页 上海交通大学学报(英文版)
基金 the National Natural Science Foundation of China (No. 60873034)
关键词 CCS calculus π calculus absolute equality external equality coincidence CCS calculus, π calculus, absolute equality, external equality, coincidence
  • 相关文献

参考文献7

  • 1MILNER R. Communication and concurrency [M]. Lon- don: Prentice Hall, 1989.
  • 2MILNER R. Elements of interaction [J]. Communica- tion of the ACM, 1993, 36(1): 78-89.
  • 3JENQ Y C.Digtal spectra of nonuniformly sampled signals:fundamentals and high speed waveform digitizers.IEEE Trans IM,1998,37(2):245-251.
  • 4PAUL O L,FRANCO M.A direct-digital synthesizer with improved spectral performance.IEEE Transations on Communications,1991,39(30):1046-1048.
  • 5DANIELE D C,ALESSANDRO D G,GIULIANO D,et al.Design and construction of arbritrary waveform generator.IEEE Transations on Instrumentation and Measurement,1983,32(3):398-403.
  • 6JAMES O,HAMBLEN,MICHAEL D,et al.Rapid prototyping of digital systems.Kluwer Academic Publishers,2000:1-99.
  • 7PETRU E,KRZYSZTOF K,ZEBO P.System synthesis with VHDL.Kluwer Academic Publishers,1998:21-135.

共引文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部