LUO Ling, DUAN Zhenhua, TIAN Cong. Extension of π-Calculus with Interval Action Prefixes[J]. Chinese Journal of Electronics, 2016, 25(5): 848-857. doi: 10.1049/cje.2016.08.009
Citation: LUO Ling, DUAN Zhenhua, TIAN Cong. Extension of π-Calculus with Interval Action Prefixes[J]. Chinese Journal of Electronics, 2016, 25(5): 848-857. doi: 10.1049/cje.2016.08.009

Extension of π-Calculus with Interval Action Prefixes

doi: 10.1049/cje.2016.08.009
Funds:  This work is supported by the National Natural Science Foundation of China (No.61133001, No.61322202, No.61420106004, No.91418201).
More Information
  • Corresponding author: DUAN Zhenhua (corresponding author) was born in 1948, Ph.D., professor, Ph.D. supervisor. His research interests are formal methods and software engineering. (Email:zhhduan@mail.xidian.edu.cn)
  • Received Date: 2014-06-26
  • Rev Recd Date: 2014-09-11
  • Publish Date: 2016-09-10
  • This paper presents an extension of π-calculus, named p-π, with interval action prefixes. The syntax and operational semantics of p-π are formalized, and the algebraic and time-dependent properties are defined. Based on them, how time-dependent behaviors of systems can be modeled with p-π is demonstrated. Finally, a case study is given to illustrate how p-π is used in practise.
  • loading
  • Y.F. Cai, Z.M. Tang and C.X. Zhao, "New layered SOA-based architecture for multi-robots cooperative online SLAM", Chinese Journal of Electronics, Vol.23, No.1, pp.25-30, 2014.
    H.W. Xue, Y.L. Zhang, Z.E. Guo, et al., "A multilevel security model for private cloud", Chinese Journal of Electronics, Vol.23, No.1, pp.232-235, 2014.
    R. Milner, Communicating and Mobile Systems:The π-Calculus, Cambridge University Press, London, England, 1999.
    C. Baier and J.P. Katoen, Principles of Model Checking, Vol.26202649, MIT Press, Cambridge, USA, 2008.
    C. Tofts, "Timing concurrent processes", University of Edinburgh Report, No. LFCS-89-103, 1989.
    J.Y. Lee and J. Zic, "On modeling real-time mobile processes", Australian Computer Science Communications, Vol.24, No.1, pp.139-147, 2002.
    M.Berger, "Towards abstractions for distributed systems", Ph.D. Thesis, University of Imperial College at London, England, 2002.
    E. Posse and J. Dingel, "Theory and implementation of a realtime extension to the π-calculus", Proc. of Formal Techniques for Distributed Systems, Amsterdam, The Netherlands, pp.125-139, 2010.
    K. Barakat, S. Kowalewski and T. Noll, "A native approach to modeling timed behavior in the pi-calculus", Proc. of Sixth International Symposium on IEEE Theoretical Aspects of Software Engineering, Beijing, China, pp.253-256, 2012.
    R. Milner, J. Parrow and D. Walker, "A calculus of mobile processes, Ⅱ", Information and Computation, Vol.100, No.1, pp.41-77, 1992.
    R. Milner, J. Parrow and D. Walker, "Modal logics for mobile processes", Theoretical Computer Science, Vol.114, No.1, pp.149-171, 1993.
    D. Sangiorgi and D. Walker, The pi-Calculus:A Theory of Mobile Processes, Cambridge University Press, London, England, 2003.
    D. Sangiorgi, "A theory of bisimulation for the π-calculus", Acta Informatica, Vol.33, No.1, pp.69-97, 1996.
    X. Nicollin and J. Sifakis, "An overview and synthesis on timed process algebras", Proc. of Real-Time:Theory in Practice, Mook, The Netherlands, pp.526-548, 1992.
  • 加载中

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索

    Article Metrics

    Article views (209) PDF downloads(474) Cited by()
    Proportional views
    Related

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return