Map     中文
Papers 2010

From State Key Laboratory of Computer Science

Main Page > Research > Papers > Papers 2010
Jump to: navigation, search

Year 2014 Year 2013 Year 2012 Year 2011 Year 2010 Year 2009 Year 2008 Year 2007 Journal Papers Before 2007
  1. Lu Yang, Chaochen Zhou, Naijun Zhan, Bican Xia, Recent Advances in Program Verification through Computer Algebra, Frontiers of Computer Science in China, Vol.4, No.1, PP.1-16
  2. Naijun Zhan, Connection between Logical and Algebraic Approaches to Concurrent Systems, Math. Comp. Science, Vol.20, PP.915-950
  3. Naijun Zhan, Mila Majster-Cederbaum, On Hierarchically Developing Reactive Systems, Information and Computation, Vol.208, No.9, PP.997-1019
  4. Qiwen Xu, Naijun Zhan, Rate Monotonic Scheduling Re-analysed, Information Processing Letters, Vol.110, No.6, PP.226-231
  5. Xiaowei Huang, Li Jiao, Weiming Lu, A Precongruence Format for Should Testing Preorder, Journal of Logic and Algebraic Programming, Vol.79, No.3-5, PP.245-263
  6. Xiaowei Huang, Li Jiao, Weiming Lu, Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence, The Computer Journal, Vol.53, No.1, PP.21-36
  7. Xiaojun DAI, Haiming CHEN, Subtyping Algorithm with Pruning Optimization (In Chinese), Journal of Software, Vol.21, No.7, PP.1481-1490
  8. Liang XU, Improved SMT-Based Bounded Model Checking for Real-Time Systems, Journal of Software, Vol.21, No.7, PP.1491-1502
  9. Ming Xu, Chuandong Mu, Zhenbing Zeng, Zhibin Li, A Heuristic Approach to Positive Root Isolation for Multiple Power Sums, Journal of Universal Computer Science, Vol.16, No.14, PP.1912-1926
  10. Yu Zhang, The Computational SLR: A Logic for Reasoning about Computational Indistinguishability, Math. Comp. Science, Vol.20, PP.951-975
  11. Jun Sun, Wenbo Zhao, Jianwei Xue, Zhiyong Shen, Yidong Shen, Clustering with Feature Order Preferences, Intelligent Data Analysis, Vol.14, PP.479-495
  12. Xin CHEN, Wencheng WANG, Reusing Partially Synthesized Textures for Real-Time Synthesis of Large Textures (In Chinese), Chinese Journal of Computers, Vol.33, No.4, PP.768-775
  13. Chunjuan SUN, Binhai ZHU, Wencheng WANG, Optimizing Conical Reconstruction of Linear Point Clouds (In Chinese), JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS , Vol.22, No.8, PP.1324-1330
  14. Yisong Wang, Jiahuai You, Lyan Yuan, Yidong Shen, Loop Formulas for Description Logic Programs, Theory and Practice of Logic Programming, Vol.10, No.4-6, PP.531-545
  15. Shandong Wang, Kangying Cai, Jian Lu, Xuehui Liu, Enhua Wu, Real-time Coherent Stylization for Augmented Reality, VISUAL COMPUTER, Vol.26, No.6-8, PP.445-455
  16. Shixue Zhang, Junyu Zhao, Enhua Wu, An Improved Method for Progressive Animation Models Generation, SCIENCE CHINA-INFORMATION SCIENCES, Vol.53, No.7, PP.1312-1321.
  17. Mengcheng Huang, Fang Liu, Enhua Wu, A GPU-based Matting Laplacian Solver for High Resolution Image Matting, VISUAL COMPUTER, Vol.26, No.6-8, PP.943-950
  18. Jian ZHU, Kai BAO, Yuanzhang CHANG, Youquan LIU, Enhua WU, Simulation of Solid Burning Phenomenon in Real-Time (In Chinese), JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS, 2011, Vol. 23, No. 1, PP. 11-23
  19. Shaohui JIAO, Xin CHEN, Gang YANG, Enhua WU, Cartoon Fur Texture Synthesis and Replacement in Images and Videos (In Chinese), JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS, Vol.22, No.7, PP.1166-1173
  20. Shaohui JIAO, Gang YANG, Heng Pheng-Ann, Enhua WU, Realistic Grass Withering Simulation Based on Time-Varying Texels (In Chinese), Journal of Software, Vol.21, No.9, PP.2224-2236
  21. Man ZHANG, Weiwei LV, Enhua WU, Shadow Map Anti-aliasing Algorithm with High-order Power Function Approximation (In Chinese), JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS, Vol.22, No.1, PP.10-16
  22. Kai Bao, Xiaolong Wu, Hui Zhang, Enhua Wu, Volume Fraction Based Miscible and Immiscible Fluid Animation, COMPUTER ANIMATION AND VIRTUAL WORLDS, Vol.21, PP.401-410
  23. Hongliang LIANG, Zheng CHEN, Puhan ZHANG, ABAR:Automatic Bug Analyzer Based on Source Code (In Chinese), Journal of Tsinghua University (Science and Technology), Vol.50, No.s1, PP.1597-1602
  24. GuoLiang LIU, Jun WEI, Yulin FENG, Container Product Line Architecture Based on Component Model Analysis (In Chinese), Journal of Software, 2010, Vol. 21, No. 1, PP. 68-83.
  25. Yongji WANG, Jingzheng WU, Haitao ZENG, Liping DING, Xiaofeng LIAO, Covert Channel Research (In Chinese), Journal of Software, Vol.21, No.9, PP.2262-2288
  26. Hu WU, Yongji WANG, Zhe WANG, Xiuli WANG, Shuanzhu DU, Two-Phase Collaborative Filtering Algorithm Based on Co-Clustering (In Chinese), Journal of Software, Vol.21, No.5, PP.1042-1054
  27. Min-Allah Nasro, Ullah Khan Samee, Yongji Wang, Optimal Task Execution Times for Periodic Tasks Using Nonlinear Constrained Optimization, Journal of Supercomputing
  28. Qi Li, Ye Yang, Mingshu Li, Qing Wang, Barry W. Boehm, Chenyong Hu, Improving Software Testing Process: Feature Prioritization to Make Winners of Success-critical Stakeholders, Journal of Software Maintenance and Evolution: Research and Practice
  29. Yuan YU, Yunquan ZHANG Huiyuan LI, Scalability Evaluation of Hi-Dimensional Fast Fourier Transformations On Domestic Supercomputer (In Chinese), JOURNAL ON NUMERICAL METHODS AND COMPUTER APPLICATIONS, Vol.31, No.2, PP.123-130
  30. Yunquan Zhang, Jiachang Sun, Guoxing Yuan, Linbo Zhang, Perspectives of China's HPC System Development: A View from the 2009 China HPC Top100 List, Frontiers of Computer Science in China, Vol.4, No.4, PP.437-444
  31. Li RAO, Yunquan ZHANG, Yucheng LI, Performance Test and Analysis of Alltoall Collective Communication on Domestic Hundred Trillion Times Cluster System (In Chinese), Computer Science, Vol.27, No.8, PP.186-207
  32. Lei WANG, Yunquan ZHANG, Fangfang LIU, Xianyi ZHANG, Improved HPL Software Package Based on Mixed Precision Algorithm (In Chinese), COMPUTER ENGINEERING, Vol.36, No.19, PP.47-49
  33. Xiangzheng SUN, Yunquan ZHANG, Xuanqiang WANG, Lei WANG, Research on the Evaluation Criterion for Performance Searching Process of Self-Adapting Numerical Software (In Chinese), JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT, Vol.47, No.4, PP.679-686
  34. Shengfei LIU, Yunquan ZHANG, Xiangzheng SUN, An Improved Guided Loop Scheduling Algorithm for OpenMP (In Chinese), JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT, Vol.47, No.4, PP.687-694
  35. Liang YUAN, Yunquan ZHANG, Guoping YOU, Ke WANG, Xianyi ZHANG, A GPU Computational Model Based on Latency Hidden Factor (In Chinese), Journal of Software, Vol.21, PP.251-262
  36. Shaohu CHEN, Yunquan ZHANG, Xianyi ZHANG, Hao CHEN, Performance Testing and Analysis of BLAS Libraries on Multi-Core CPUs (In Chinese), Journal of Software, Vol.21, PP.214-223
  37. Yunquan ZHANG, Ting WANG, Xiangzheng SUN, Chao YANG, Ligang LI, Performance Optimization of Planetary Fluid Dynamics Numerical Simulation Program on Thousands Cores (In Chinese), e-Science Technology & Application, Vol.1, No.3, PP.24-30
  38. Xiangzheng SUN, Yunquan ZHANG, Ting WANG, Chao YANG, Ligang LI, Performance Optimization of Large Scale Celestial Body Simulation software (In Chinese), Journal of Huazhong University of Science and Technology (Natural Science Edition), Vol.38, PP.51-54
  39. Qiuping YI, Jian LIU, Shu WU, Formal Secure VMM Prototype Towards Level Verified Design (In Chinese), Computer Science, Vol.37, No.12
  40. Jianfeng Du, Guilin Qi, Jeff Z. Pan, Finding Data Tractable Description Logics for Computing a Minimum Cost Diagnosis Based on Abox Decomposition, Tsinghua Science and Technology, vol.14, No.2, PP.623-632

Year 2014 Year 2013 Year 2012 Year 2011 Year 2010 Year 2009 Year 2008 Year 2007 Conference Papers Before 2007
  1. Alessio Lomuscio, Ben Strulo, Nigel Walker, Peng Wu, Assume-Guarantee Reasoning with Local Specifications, ICFEM 2010, 11.16- 11.19
  2. Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou, A Calculus for Hybrid CSP, APLAS 2010, 11.28-12.1
  3. Zizhen Wang, Hanpin Wang, Naijun Zhan, Refinement of Models of Software Components, Symposium on Applied Computing 2010, 3.22-3.26
  4. Zhongxing Xu, Ted Kremenek, Jian Zhang, A Memory Model for Static Analysis of C Programs, ISoLA 2010, 10.18-10.21
  5. Yunhe Wang, Li Jiao, Canonical Transition Set Semantics for Petri Nets, 31st International Conference on Appliations and Theory of Petri Nets and Other Models of Concurrency, 6.21-6.25
  6. Yunhe Wang, Bo Jiang, Li Jiao, Property Checking for 1-place-unbounded Petri Nets, TASE 2010, 8.25-8.27
  7. Mingji Xia, Holographic Reduction: A Domain Changed Application and Its Partial Converse Theorems, ICALP 2010, 7.5-7.10
  8. Jianfeng Du, Yidong Shen, Guilin Qi, Decomposition-based Consistent Query Answering in Databases with Universal Constraints Under Cardinality-based Semantics, CiSE 2010, 12.10-12.12
  9. Jia Liu, Huimin Lin, A Complete Symbolic Bisimulation for Full Applied Pi Calculus, SOFSEM 2010, 1.23-1.29
  10. Jia Liu, Huimin Lin, Proof System for Applied Pi Calculus, TCS 2010, 9.20-9.23
  11. Zhiwu Xu, Lixiao Zheng, Haiming Chen, A Toolkit for Generating Sentences from Context-Free Grammars, SEFM 2010, 9.14-9.18
  12. Lei Chen, Haiming Chen, Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules, ICTAC 2010, 9.1-9.3
  13. Zhiming Liu, Charles Morisset, Shuling Wang, A Graph-based Implementation for Mechanized Refinement Calculus of OO Programs, SBMF 2010, 11.10-11.12
  14. Zhiyong Shen, Liang Du, Xukun Shen, Yidong Shen, Interval-valued Matrix Factorization with Applications, ICDM 2010, 12.14-12.17
  15. Xuan Li, Yidong Shen, Liang Du, Chenyan Xiong, Exploiting Novelty,Coverage and Balance for Topic-Focused Multi-Document Summarization, CIKM 2010, 10.26-10.30
  16. Zhenyu Zhang, Zhongxing Xu, Zhifang Liu, Xiaopeng Gao, Macro-like Instrumentation Grammar for Boolean Expressions, CiSE 2010, 12.10-12.12
  17. W.K. Chan, Lijun Mei, Zhenyu Zhang, Xiaopeng Gao, A Community-Centric Model for Service Publication,Discovery,Selection,Binding,and Maintenance, SOSE 2010, 6.4-6.5
  18. Zhenyu Zhang, Zijian Tong, Xiaopeng Gao, Testing in parallel--A Need for Practical Regression Testing, ICSOFT 2010, 7.22-7.24
  19. Qiong Shi, Zhenyu Zhang, Zhifang Liu, Xiaopeng Gao, Enhance Fault Localization Using a 3D Surface Representation, Second International Conference on Computer Research and Development, 5.7-5.10
  20. Xueyang Zhu, Retiming Multi-Rate DSP Algorithms to Meet Real-Time Requirement, DATE 2010, 3.8-3.12
  21. Honglei HAN, Wencheng WANG, Linear Interpolation Texture Mapping Method With Correct Perspective (In Chinese), CAD/CG' 2010, 7.28-7.30
  22. Kangying Cai, Weiwei Li, Weiliang Meng, Wencheng Wang, Zhibo Chen, Xin Zheng, Robust Discovery of partial Rigid Symmetries on 3D Models, ACM SIGGRAPH Asia 2010, 12.15-12.18
  23. Teng Long, Wenhui Zhang, Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems, ATVA 2010, 12.21-12.24
  24. Shaochun Wang, Temporal Filter A Temporal Extension to Wireshark Display Filter, SEKE 2010,7.1-7.3
  25. Xiaoxiao Yang, Zhenhua Duan, Axiomatic Temporal Logic Programs Verification, TASE 2010, 8.25-8.27
  26. Baiqiang Chen, Jun Yan, Jian Zhang, Combinatorial Testing with Shielding Parameters, APSEC 2010, 11.30-12.3
  27. Xiangxue Jia, Runming Lu, Sheng Liu, Jian Zhang, Local Lemma: A New Strategy of Pruning in SAT Solvers 25th Annual ACM Symposium on Applied Computing, SAC 2010, 3.22-3.26
  28. Angsheng Li, Peng Zhang, Unbalanced Graph Partitioning, ISAAC 2010, 7.25-7.30
  29. Meng Yang, Mengcheng Huang, Enhua Wu, Physically-based Tree Animation and Leaf Deformation Using CUDA in Realtime, DMDCM 2010, 12.18-12.20
  30. Meng Yang, Mengcheng Huang, Gang Yang, Enhua Wu, Physically-based Animation for Realistic Interactions between Tree Branches and Raindrops, VRST 2010, 11.22-11.24
  31. Meng YANG, Enhua WU, A Physically-based GPU Real-time Simulation Technique for Tree Dynamics (In Chinese), CIDE 2010, 10.14-10.16
  32. Dong Li, Youquan Li, Kai Bao, Enhua Wu, Real-time Shallow Water Simulation on Terrain, VRCAI 2010, 12.12-12.13
  33. Hongliang Liang, Qiuping Yi, Shuo Tian, Specifying and Building a Formal Secure Virtual Monitor Machine Prototype, IC-BNMT 2010, 10.26-10.28
  34. Xiulei Qin, Jun Wei, Hua Zhong, Tao Huang, A Two-Phase Approach to Subscription Subsumption Checking for Content-Based publish/Subscribe Systems, 24th IEEE International Conference on Advanced Information Networking and Applications(AINA2010), 4.20-4.23
  35. Xiongfei Luo, Feng Tian, Wei Liu, Dongxing Teng, Guozhong Dai, Hongan Wang, Visualizing Time-series Data in Processlines: Design and Evaluation of A Process Enterprise, 25th Annual ACM Symposium on Applied Computing, 3.22-3.26
  36. Yingying Jiang, Feng Tian, Hongan Wang, Xiaolong Zhang, Xugang Wang, Guozhong Dai, Intelligent Understanding of Handwritten Geometry Theorem Proving, 14th ACM International Conference on Intelligent User Interfaces, IUI 2010, 2.7-2.10
  37. Feng Tian, Fei Lv, Jingtao Wang, Hongan Wang, Wencan Luo, Mattew Kam, Vidya Setlur, Guozhong Dai, John Canny, Let's Play Chinese Characters-mobile Learning Approaches via Culturally Inspired Group, 28th Annual CHI Conference on Human Factors in Computing Systems, 4.10-4.15
  38. Xiongfei Luo, Dongxing Teng, Feng Tian, Guozhong Dai, A Developing Framework for Interactive Temporal Data Visualization, The 3rd Visual Information Communication-International Symposium, VINCI 2010, 9.28-9.29
  39. Qiusong Yang, Mingshu Li, A Cut-off Approach for Bounded Verification of Parameterized Systems, ICSE 2010, 5.2-5.8
  40. Xiaofeng Liao, Yongji Wang, Liping Ding, Discovering Temporal Patterns from Images using Extended PLSA, ICMT 2010, 10.29-10.31
  41. Chao Yang, Yunquan Zhang, Ligang Li, Numerical Simulation of the Thermal Convection in the Earth's Outer Core 2010, 12th IEEE International Conference on High Performance Computing and Communications, 9.1-9.3
  42. Jing Wang, Yunquan Zhang, Xianyi Zhang, Xiangzheng Sun, Quanhu Sheng, QuantWiz: A Scalable Parallel Software Package for Label-free Protein Quantification, BIC-TA 2010, 9.8-9.10
  43. Liang Yuan, Yunquan Zhang, Xiangzheng Sun, Ting Wang, Optimizing Sparse Matrix Vector Multiplication Using Diagonal Storage Matrix Format 2010, 12th IEEE International Conference on High Performance Computing and Communications, 9.1-9.3
  44. Hui FEI, Yunquan ZHANG, Ke WANG, Implementation of the Simulation of Molecular Dynamics on GPU with OpenGL Framework (In Chinese), HPC China 2010, 10.28-10.30
  45. Qingchun XIE, Yunquan ZHANG, Ke WANG, Yan LI, Research of the SIMD and Vector Math Library (In Chinese), HPC China 2010, 10.28-10.30
  46. Yan LI, Yunquan ZHANG, Ke WANG, Meichao ZHAO, OpenGL-based FFT Testing and Analysis on Heterogeneous Platforms (In Chinese), HPC China 2010, 10.28-10.30
  47. Chao Yang, Ligang Li, Yunquan Zhang, Development of A Scalable Solver for the Earth's Core Convection, HPCA 2009, LNCS 5938, PP.497-502 2010
  48. Yan Li, Yunquan Zhang, Ke Wang, Wenhua Guan, Heterogeneous Multi-core Parallel SGEMM Performance Testing and Analysis on Cell/B.E Processor, 2010 Fifth IEEE International Conference on Networking,Architecture,and Storage, 7.15-7.17
  49. Wang Lei, Zhang Yunquan, Zhang Xianyi, Liu Fangfang, Accelerating Linpack Performance with Mixed Precision Algorithm on CPU+GPGPU Heterogeneous Cluster, 2010 10th IEEE Internatinal Conference on Computer and Information Technology (CIT 2010), 6.29-7.1
  50. Yinglong Ma, Towards Stable Semantic Ontology Measurement, ISWC 2010, 11.7-11.11
  51. Jianfeng Du, Guilin Qi, Decomposition-Based Optimization for Debugging of Inconsistent OWL DL Ontologies, KSEM 2010, 9.1-9.3
  52. Yuxin Deng, Rob van Glabbeek, Characterising Probabilistic Processes Logically, LPAR 2010, 10.10-10.15
  53. Zhihong Deng, Xiaoran Xu, An Efficient Algorithm for Mining Erasable Itemsets, ADMA 2010, 11.19-11.21
  54. Zhonghui Wang, Zhihong Deng, Tag Recommendation Based on Bayesian Principle, ADMA 2010, 11.19-11.21

Year 2014 Year 2013 Year 2012 Year 2011 Year 2010 Year 2009 Year 2008 Year 2007 Technical Reports Before 2007
  1. ISCAS-LCS-10-01: Wencheng Wang, Xin Chen, Synthesis of Large Textures with Partially Synthesized Textures Reused
  2. ISCAS-LCS-10-02: Xiaoxiao Yang, Zhenhua Duan, Qian Ma, Axiomatic Semantics of Projection Temporal Logic Programs
  3. ISCAS-LCS-10-03: Xiaoxiao Yang, Zhenhua Duan, Axiomatic Interval Temporal Logic Verification
  4. ISCAS-LCS-10-04: Zhenyu Zhang, Testing in Parallel, A Need for Practical Regression Testing
  5. ISCAS-LCS-10-05: Zhongxing Xu, Ted Kremenek, Jian Zhang, A Memory Model for Static Analysis of C Programs
  6. ISCAS-LCS-10-06: Mingji Xia, Holographic reduction: a domain changed application and its partial converse theorems
  7. ISCAS-LCS-10-07: Naijun Zhan, Connection Between Logical and Algebraical Approaches to Concurrent Systems
  8. ISCAS-LCS-10-08: Yunhe Wang, Li Jiao, Canonical Transition Set Semantics for Petri Nets
  9. ISCAS-LCS-10-09: Zhenyu Zhang, Zhongxin Xu, Macro-like Instrumentation Grammar for Boolean Expressions
  10. ISCAS-LCS-10-10: Yunhe Wang, Li Jiao, Apply Canonical Transition Set Semantics to Bounded Model Checking
  11. ISCAS-LCS-10-11: Haiming Chen, Finite Automata of Expressions in the Case of Star Normal Form and One-Unambiguity
  12. ISCAS-LCS-10-12: Zhiwu Xu, Lixiao Zheng and Haiming Chen, A Toolkit for Generating Sentences from Context-Free Grammars
  13. ISCAS-LCS-10-13: Runming Lu, Sheng Liu and Jian Zhang, Searching for Doubly Self-Orthogonal Latin Squares
  14. ISCAS-LCS-10-14: Yidong Shen, Jiahuai You, Kewen Wang,A Default Semantics for Logic Programs with Abstract Constraints and its Application to the Semantic Web
  15. ISCAS-LCS-10-15: Jiang Liu, Naijun Zhan, Hengjun Zhao, A Complete Method for Generating Polynomial Differential Invariants
  16. ISCAS-LCS-10-16: Wenhui Zhang, Bounded Semantics of CTL
  17. ISCAS-LCS-10-17: Liu Jiang, Lv Jidong, Quan Zhao, Zhan Naijun, Zhao Hengjun, Zhou Chaochen, Zou Liang, A Calculus for Hybrid CSP
  18. ISCAS-LCS-10-18: Baiqiang Chen, Jian Zhang, Evaluation and Optimization of Test Suites in Combinatorial Testing
  19. ISCAS-LCS-10-19: Xiaoxiao Yang, Probabilistic Model Checking on Propositional Projection Temporal Logic
  20. ISCAS-LCS-10-20: Guangyuan Li, Model Checking Time-Constraint LTL Properties for Timed Automata
  21. ISCAS-LCS-10-21: Zhiming Liu, Martin Schaf, Naijun Zhan, Jiaqi Zhu, Composable Automata for Component Interfaces
  22. ISCAS-LCS-10-22: Jiang Liu, Naijun Zhan, Hengjun Zhao, Automatically Discovering Relaxed Lyapunov Functions for Algebraic Dynamical Systems
  23. ISCAS-LCS-10-23: Gilles Dowek, Ying Jiang, On the Expressive Power of Schemes
  24. ISCAS-LCS-10-24: Wenhui Zhang, Ternary Boolean Diagrams
  25. ISCAS-LCS-10-25: Yongjian Li, Jun Pang, Extending the Strand Space Method with Timestamps: Part II Application to Kerberos V
  26. ISCAS-LCS-10-26: Yongjian Li, Jun Pang, Extending the Strand Space Method with Timestamps: Part I the Theory
  27. ISCAS-LCS-10-27: Yongjian Li, William N. N. Hung,Xiaoyu Song, Naiju Zeng, Exploring Structural Symmetry Automatically in Symbolic Trajectory Evaluation
  28. ISCAS-LCS-10-28: Jia Liu, Huimin Lin, Proof System for Applied Pi Calculus
  29. ISCAS-LCS-10-29: Jia Liu, Huimin Lin, A Complete Symbolic Bisimulation for Full Applied Pi Calculus

Copyright © State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Powered by MediaWiki