loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 International Conference on Computer Science and Software Engineering
Extension of TD-pi Calculus in Real-Time Distributed Virtual-Test System Description
December 12-December 14
ISBN: 978-0-7695-3336-0
ASCII Text
x 
 
Qiong Wang, Chenglie Du, Chunyan Ma, Gang Li, "Extension of TD-pi Calculus in Real-Time Distributed Virtual-Test System Description," Computer Science and Software Engineering, International Conference on, vol. 3, pp. 363-369, 2008 International Conference on Computer Science and Software Engineering, 2008.
 
 
BibTex
x
 
@article{ 10.1109/CSSE.2008.907,
author = {Qiong Wang and Chenglie Du and Chunyan Ma and Gang Li},
title = {Extension of TD-pi Calculus in Real-Time Distributed Virtual-Test System Description},
journal ={Computer Science and Software Engineering, International Conference on},
volume = {3},
year = {2008},
isbn = {978-0-7695-3336-0},
pages = {363-369},
doi = {http://doi.ieeecomputersociety.org/10.1109/CSSE.2008.907},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Science and Software Engineering, International Conference on
TI - Extension of TD-pi Calculus in Real-Time Distributed Virtual-Test System Description
SN - 978-0-7695-3336-0
SP363
EP369
A1 - Qiong Wang,
A1 - Chenglie Du,
A1 - Chunyan Ma,
A1 - Gang Li,
PY - 2008
KW - p-calculus
KW - realtime
KW - virtual test
KW - timed distributed p-calculus
VL - 3
JA - Computer Science and Software Engineering, International Conference on
ER -
 
π-calculus is a name-passing calculus based on CCS. It can model distributed communicating system of dynamic topo-structure. 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.
Index Terms:
p-calculus, realtime, virtual test, timed distributed p-calculus
Citation:
Qiong Wang, Chenglie Du, Chunyan Ma, Gang Li, "Extension of TD-pi Calculus in Real-Time Distributed Virtual-Test System Description," csse, vol. 3, pp.363-369, 2008 International Conference on Computer Science and Software Engineering, 2008
Usage of this product signifies your acceptance of the Terms of Use.