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

Wang Qiong, Du Chenglie, Ma Chunyan, Li Gang

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Scopus citations

Abstract

π-calculus is a name-passing calculus based on CCS. It can model distributed communicating system of dynamic topostructure. Timed distributed π-calculus (TDπ-calculus) is presented as a rigorous framework for describing distributed systems with time and resource constraints. The real-time distributed virtual-test system in military field has the feature of different applications with different real-time requirements. TDπ-calculus is appropriate to describe such a system but need to be improved. For this purpose, we had extended the timer of TDπ-calculus in this paper. The extended TDπ-calculus can easily describe the different real-time requirements of different components or applications of the same system, as well as the data interaction between them.

Original languageEnglish
Title of host publicationProceedings - International Conference on Computer Science and Software Engineering, CSSE 2008
Pages363-369
Number of pages7
DOIs
StatePublished - 2008
EventInternational Conference on Computer Science and Software Engineering, CSSE 2008 - Wuhan, Hubei, China
Duration: 12 Dec 200814 Dec 2008

Publication series

NameProceedings - International Conference on Computer Science and Software Engineering, CSSE 2008
Volume3

Conference

ConferenceInternational Conference on Computer Science and Software Engineering, CSSE 2008
Country/TerritoryChina
CityWuhan, Hubei
Period12/12/0814/12/08

Keywords

  • π-calculus
  • Realtime
  • Timed distributed π- calculus
  • Virtual test

Fingerprint

Dive into the research topics of 'Extension of TDπ- Calculus in Real-Time Distributed Virtual-Test System Description'. Together they form a unique fingerprint.

Cite this