Extension of π‐Calculus with Interval Action Prefixes. Issue 5 (1st September 2016)

• Record Type: Journal Article
• Authors: Luo, Ling; Duan, Zhenhua; Tian, Cong
• Is Part Of: Chinese journal of electronics. Volume 25:Issue 5(2016)
• Page Start: 848
• Page End: 857
• Publication Date: 2016-09-01
• Subjects: π‐Calculus -- Process algebra -- Interval action prefixes -- Specification -- Verification; pi calculus; π‐Calculus -- interval action prefixes -- operational semantics -- syntax -- time dependent properties -- time dependent behaviors; Electronics -- Periodicals; Electronics -- China -- Periodicals; Electronics; China; Periodicals; 621.38105
• DOI: 10.1049/cje.2016.08.009
• Languages: English
• ISSNs: 1022-4653

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.