Extension of π-Calculus with Interval Action Prefixes  

作　　者：LUO Ling DUAN Zhenhua TIAN Cong 

机构地区：[1]Institute of Computing Theory and Technology,Xidian University

出　　处：《Chinese Journal of Electronics》2016年第5期848-857,共10页电子学报（英文版）

基　　金：supported by the National Natural Science Foundation of China(No.61133001,No.61322202,No.61420106004,No.91418201)

摘　　要：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.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 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]