loading...
Automatic Translation of a Timed Process Algebra into Dynamic State Graphs
Macao, China December 04-December 07
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APSEC.2001.991460Eighth Asia-Pacific Software Engineer ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
J. Jose Pardo, Valentin Valero, Fernando Cuartero, Diego Cazorla, "Automatic Translation of a Timed Process Algebra into Dynamic State Graphs," Asia-Pacific Software Engineering Conference, pp. 63, Eighth Asia-Pacific Software Engineering Conference (APSEC'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/APSEC.2001.991460,
author = {J. Jose Pardo and Valentin Valero and Fernando Cuartero and Diego Cazorla},
title = {Automatic Translation of a Timed Process Algebra into Dynamic State Graphs},
journal ={Asia-Pacific Software Engineering Conference},
volume = {0},
year = {2001},
isbn = {0-7695-1408-1},
pages = {63},
doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2001.991460},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Asia-Pacific Software Engineering Conference
TI - Automatic Translation of a Timed Process Algebra into Dynamic State Graphs
SN - 0-7695-1408-1
SP
EP
A1 - J. Jose Pardo,
A1 - Valentin Valero,
A1 - Fernando Cuartero,
A1 - Diego Cazorla,
PY - 2001
VL - 0
JA - Asia-Pacific Software Engineering Conference
ER -
 
In this paper we consider a Timed Process Algebra on the basis of the classical LOTOS operators, in order to specify the behaviour of concurrent systems and, concretely, those systems for which time becomes an important factor to be taken into account, such as real-time systems. One of the main goals of this paper is to define a translation into a kind of dynamic state graph, which is currently supported by a tool (TPAL),which allows us to simulate the execution of a specification by means of these dynamic state graphs.
Citation:
J. Jose Pardo, Valentin Valero, Fernando Cuartero, Diego Cazorla, "Automatic Translation of a Timed Process Algebra into Dynamic State Graphs," apsec, pp.63, Eighth Asia-Pacific Software Engineering Conference (APSEC'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.