Extension of π-Calculus with Interval Action Prefixes

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.