We use cookies to improve your experience with our site.

Indexed in:

SCIE, EI, Scopus, INSPEC, DBLP, CSCD, etc.

Submission System
(Author / Reviewer / Editor)
Advanced Search
Volume 13 Issue 6
November  1998
Turn off MathJax
Article Contents
Related Articles
Gerard Boudol. Calculi for Concurrent Processes[J]. Journal of Computer Science and Technology, 1998, 13(6): 509.
Citation: Gerard Boudol. Calculi for Concurrent Processes[J]. Journal of Computer Science and Technology, 1998, 13(6): 509.
shu

Calculi for Concurrent Processes

  • INRIA; Sophia-Antipolis; France;

More Information
  • Published Date: November 09, 1998
    Abstract
    • FullText(HTML)
    • References (0)
    • Relative Articles

  • Related Articles

    [1]Xiao-Wen Lou, Da-Ming Zhu. Sorting Unsigned Permutations by Weighted Reversals, Transpositions, and Transreversals[J]. Journal of Computer Science and Technology, 2010, 25(4): 853-863. DOI: 10.1007/s11390-010-1066-7
    [2]Kevin Chiew, Yingjiu Li. Multistage Off-Line Permutation Packet Routing on a Mesh: An Approach with Elementary Mathematics[J]. Journal of Computer Science and Technology, 2009, 24(1): 175-180.
    [3]Ruby B. Lee, Xiao Yang, Zhi-Jie Jerry Shi. Single-Cycle Bit Permutations with MOMR Execution[J]. Journal of Computer Science and Technology, 2005, 20(5): 577-585.
    [4]HE Yong, CHEN Ting. A New Approximation Algorithm for Sorting of Signed Permutations[J]. Journal of Computer Science and Technology, 2003, 18(1).
    [5]BI Jun, WU Jianping. An Approach to Concurrent TTCN Test Generation[J]. Journal of Computer Science and Technology, 1999, 14(6): 614-618.
    [6]Zhang Yin, Xu Zhuoqun. Concurrent Manipulation of Expanded AVL Trees[J]. Journal of Computer Science and Technology, 1998, 13(4): 325-336.
    [7]Yi Bo, Tao Xianping, G.Cioni, A.Colagrossi. Intuitive Minimal Abduction in Sequent Calculi[J]. Journal of Computer Science and Technology, 1998, 13(3): 209-219.
    [8]Shuai Dianxun. Concurrent Competitive Wave Approach to Hyper-Distributed Hyper-Parallel AI Processing[J]. Journal of Computer Science and Technology, 1997, 12(6): 543-554.
    [9]Yan Zongfu, Liu Mingye. The RTL Binding and Mapping Approach of VHDL High-Level Synthesis System HLS/BIT[J]. Journal of Computer Science and Technology, 1996, 11(6): 562-569.
    [10]Zhao Xudong, Feng Yulin. Automatic and Hierarchical Verification for Concurrent Systems[J]. Journal of Computer Science and Technology, 1990, 5(3): 241-249.
    • Supplements (0)

Catalog

    Get Citation
    PDF
    XML
    Article views (26) PDF downloads (1128) Cited by()
    Related

    Copyright ©2025 JCST, All Rights Reserved     京ICP备05002829号-1

    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

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return