• Articles •     Next Articles

Computing Bisimulations for Finite-Controlπ-Calculus

LIN Huimin;   

  1. Laboratory for Computer Science; Institute of Software; Chinese Academy of Sciences P.O Box 8718; Beijing 100080; P.R. China ;
  • Online:2000-01-10 Published:2000-01-10

Symbolic bisimulation avoids the infinite branching problem causedby instantiating input names with all names in the standard definition of bisimulation in л-calculus. However, it does not automatically lead to an efficient algorithm,because symbolic bisimulation is indexed by conditions on names,and directly manipulating such conditions can be computationally costly. In this paper a new notionof bisimulation is introduced, in which the manipulation of maximally consistent conditions is replaced with a syst…

Key words: video coding; image compression; AVS; H.264/AVC;

[1] Larsen K G. Efficient local correctness checking(extended abstract). In Proceedings of lth International Workshop on Computer Aided Verification, CAV'92, Lecture Notes in Computer Science, Springer-Verlag, 1993, Volume 663, pp.30-43

[2] Fernandez J-C., Mounier L. On the fly verification of behavioural equivalences and preorders. In CAV'91, Lecture Notes in Computer Science, Springer-Verlag, 1991, Volume 575, pp.181-191.

[3] Lin H. Symbolic bisimulations and proof systems for the π-calculus. Report 7/94, Computer Science, University of Sussex, 1994. ……….
[1] Bo Li, Run-Hai Jiao, and Yuan-Cheng Li. Fast adaptive wavelet for remote sensing image compression [J]. , 2007, 22(5): 770-778 .
[2] Jun-Hao Zheng, Lei Deng, Peng Zhang, and Don Xie. An Efficient VLSI Architecture for Motion Compensation of AVS HDTV Decoder [J]. , 2006, 21(3): 370-377 .
[3] Qiang Wang, De-Bin Zhao, and Wen Gao. Context-Based 2D-VLC Entropy Coder in AVS Video Coding Standard [J]. , 2006, 21(3): 315-322 .
[4] Jian-Wen Chen, Guo-Ping Li, and Yun He. A Novel MBAFF Scheme of AVS [J]. , 2006, 21(3): 323-331 .
[5] Ye-Kui Wang. AVS-M: From Standards to Applications [J]. , 2006, 21(3): 332-344 .
[6] Feng Yi, Qi-Chao Sun, Jie Dong, and Lu Yu. Low-Complexity Tools in AVS Part 7 [J]. , 2006, 21(3): 345-353 .
[7] Si-Wei Ma and Wen Gao. Low Complexity Integer Transform and Adaptive Quantization Optimization [J]. , 2006, 21(3): 354-359 .
[8] Tie-Jun Huang and Yong-Liang Liu. Basic Considerations on AVS DRM Architecture [J]. , 2006, 21(3): 366-369 .
[9] Li Zhang Don Xie, and Di Wu. Improved FFSBM Algorithm and Its VLSI Architecture for AVS Video Standard [J]. , 2006, 21(3): 378-382 .
[10] Xin-Fu Wang and De-Bin Zhao. Performance Comparison of AVS and H.264/AVC Video Coding Standards [J]. , 2006, 21(3): 310-314 .
[11] LUO Lin (罗 琳), LI Jin (李 劲), LI ShiPeng (李世鹏) and ZHUANG ZhenQuan (庄镇泉). A Motion Compensated Lifting Wavelet Codec for 3D Video Coding [J]. , 2003, 18(2): 0-0.
Full text



No Suggested Reading articles found!

ISSN 1000-9000(Print)

CN 11-2296/TP

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