Extension of TD-pi Calculus in Real-Time Distributed Virtual-Test System Description

Wang, Qiong; Du, Chenglie; Ma, C.; Li, Gang

doi:10.1109/csse.2008.907

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2012

Publication Types

Select...

Other2

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

(1 citation statement)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We refrain from modeling time steps (cp. [9], [10], [11], [12]), and use the native inter-process communication concept to model timers. This concept is flexible in the sense that the association of clock processes either with the overall application process or with some of its concurrent subprocesses allows to represent both, global and private clocks.…”

Section: Introductionmentioning

confidence: 99%

A Native Approach to Modeling Timed Behavior in the Pi-Calculus

Barakat

Kowalewski

Noll

2012

2012 Sixth International Symposium on Theoretical Aspects of Software Engineering

View full text Add to dashboard Cite

We introduce a new concept of modeling timed behavior in pi-calculus by representing timed actions (or timers) as interactions between application processes and clock processes. This approach extends the original calculus in a manner such that bisimulation arrangements in pi-calculus remain untouched. We also present a tool to simulate specifications written in our timed version of pi-calculus in order to verify their behavior.

show abstract

Section: Introductionmentioning

confidence: 99%