Open AccessExtension of π ‐Calculus with Interval Action Prefixes
Author(s) -
Luo Ling,
Duan Zhenhua,
Tian Cong
Publication year - 2016
Publication title -
chinese journal of electronics
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.267
H-Index - 25
eISSN - 2075-5597
pISSN - 1022-4653
DOI - 10.1049/cje.2016.08.009
Subject(s) - extension (predicate logic) , prefix , interval (graph theory) , action (physics) , calculus (dental) , mathematics , computer science , combinatorics , medicine , programming language , linguistics , philosophy , dentistry , physics , quantum mechanics
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.