loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
8th Euromicro Conference on Digital System Design (DSD'05)
Formal Communication Semantics of SystemC^FL
Porto, Portugal
August 30-September 03
ISBN: 0-7695-2433-8
ASCII Text
x 
 
K.L. Man, "Formal Communication Semantics of SystemC^FL," Digital Systems Design, Euromicro Symposium on, pp. 338-345, 8th Euromicro Conference on Digital System Design (DSD'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/DSD.2005.41,
author = {K.L. Man},
title = {Formal Communication Semantics of SystemC^FL},
journal ={Digital Systems Design, Euromicro Symposium on},
volume = {0},
year = {2005},
isbn = {0-7695-2433-8},
pages = {338-345},
doi = {http://doi.ieeecomputersociety.org/10.1109/DSD.2005.41},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Digital Systems Design, Euromicro Symposium on
TI - Formal Communication Semantics of SystemC^FL
SN - 0-7695-2433-8
SP338
EP345
A1 - K.L. Man,
PY - 2005
KW - null
VL - 0
JA - Digital Systems Design, Euromicro Symposium on
ER -
 
K.L. Man, Eindhoven University of Technology

In this paper, we define a formal communication semantics for SystemCFL that deals with concurrency and interaction. The communication semantics of Systemv C^FL is formally defined in a standard structured operational semantics (SOS) style. The correctness of the proposed communication semantics of SystemCFL is also validated. A case study (RPC protocol with refinement) is given to illustrate the use of the newly developed communication semantics of SystemCFL .

Citation:
K.L. Man, "Formal Communication Semantics of SystemC^FL," dsd, pp.338-345, 8th Euromicro Conference on Digital System Design (DSD'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.