Extension of π-Calculus with Interval Action Prefixes

被引：0
|
作者：
LUO Ling [1 ]
DUAN Zhenhua [1 ]
TIAN Cong [1 ]
机构：
[1] Institute of Computing Theory and Technology,Xidian University
来源：
Chinese Journal of Electronics | 2016年 / 25卷 / 05期
基金：
中国国家自然科学基金;
关键词：
π-Calculus; Process algebra; Interval action prefixes; Specification; Verification;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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.
引用
收藏
页码：848 / 857
页数：10
相关论文
共 5 条
  • [1] Extension of π-Calculus with Interval Action Prefixes
    Luo Ling
    Duan Zhenhua
    Tian Cong
    CHINESE JOURNAL OF ELECTRONICS, 2016, 25 (05) : 848 - 857
  • [2] Applying timed interval calculus to Simulink diagrams
    Chen, Chunqing
    Dong, Jin Song
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2006, 4260 : 74 - +
  • [3] On First-Order μ-Calculus over Situation Calculus Action Theories
    Calvanese, Diego
    De Giacomo, Giuseppe
    Montali, Marco
    Patrizi, Fabio
    FIFTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2016, : 411 - 420
  • [4] Bounded situation calculus action theories
    De Giacomo, Giuseppe
    Lesperance, Yves
    Patrizi, Fabio
    ARTIFICIAL INTELLIGENCE, 2016, 237 : 172 - 203
  • [5] A new time extension to π-calculus based on time consuming transition semantics
    Fischer, M
    Förster, S
    Windisch, A
    Monjau, D
    Balser, B
    LANGUAGES FOR SYSTEM SPECIFICATION: SELECTED CONTRIBUTIONS ON UML, SYSTEMC, SYSTEM VERILOG, MIXED-SIGNAL SYSTEMS, AND PROPERTY SPECIFICATION FROM FDL'03, 2004, : 271 - 283
1