Extension of π-Calculus with Interval Action Prefixes

LUO Ling; DUAN Zhenhua; TIAN Cong

doi:10.1049/cje.2016.08.009

Volume 25 Issue 5

Turn off MathJax

Article Contents

Article Navigation > Chinese Journal of Electronics > 2016 > 25(5): 848-857

LUO Ling, DUAN Zhenhua, TIAN Cong, “Extension of π-Calculus with Interval Action Prefixes,” Chinese Journal of Electronics, vol. 25, no. 5, pp. 848-857, 2016, doi: 10.1049/cje.2016.08.009

Citation:

LUO Ling, DUAN Zhenhua, TIAN Cong, “Extension of π-Calculus with Interval Action Prefixes,” Chinese Journal of Electronics, vol. 25, no. 5, pp. 848-857, 2016, doi: 10.1049/cje.2016.08.009

LUO Ling, DUAN Zhenhua, TIAN Cong, “Extension of π-Calculus with Interval Action Prefixes,” Chinese Journal of Electronics, vol. 25, no. 5, pp. 848-857, 2016, doi: 10.1049/cje.2016.08.009

Citation:

LUO Ling, DUAN Zhenhua, TIAN Cong, “Extension of π-Calculus with Interval Action Prefixes,” Chinese Journal of Electronics, vol. 25, no. 5, pp. 848-857, 2016, doi: 10.1049/cje.2016.08.009

PDF( 470 KB)

Extension of π-Calculus with Interval Action Prefixes

doi: 10.1049/cje.2016.08.009

Institute of Computing Theory and Technology, Xidian University, Xi'an 710071, China

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

Abstract

Abstract

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.
- π-Calculus,
- Process algebra,
- Interval action prefixes,
- Specification,
- Verification

FullText(HTML)

References(14)

References

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.

Relative Articles

Supplements(0)

Cited By

Proportional views