Extension of  π ‐Calculus with Interval Action Prefixes | Zendy

Luo Ling | Zendy; Duan Zhenhua | Zendy; Tian Cong | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Extension 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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research