loading...
A Semantic Preorder on Refinement and Fairness
Shanghai, China June 06-June 08
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TASE.2007.5First Joint IEEE/IFIP Symposium on Th ...
 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 
 
X.W. Huang, L. Jiao, W.M. Lu, "A Semantic Preorder on Refinement and Fairness," Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on, pp. 139-148, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), 2007.
 
 
BibTex
x
 
@article{ 10.1109/TASE.2007.5,
author = {X.W. Huang and L. Jiao and W.M. Lu},
title = {A Semantic Preorder on Refinement and Fairness},
journal ={Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on},
volume = {0},
year = {2007},
isbn = {0-7695-2856-2},
pages = {139-148},
doi = {http://doi.ieeecomputersociety.org/10.1109/TASE.2007.5},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on
TI - A Semantic Preorder on Refinement and Fairness
SN - 0-7695-2856-2
SP139
EP148
A1 - X.W. Huang,
A1 - L. Jiao,
A1 - W.M. Lu,
PY - 2007
KW - null
VL - 0
JA - Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on
ER -
 
X.W. Huang, Chinese Academy of Sciences
L. Jiao, Chinese Academy of Sciences
W.M. Lu, Chinese Academy of Sciences
We suggest a preorder notion for Stable Configuration Structures as a semantic model of concurrent systems. It combines the notions of observation-congruence-like fairness and the refinement operation for the specification and analysis of different levels of abstraction. We prove that our notion can be integrated into a lattice showing the interplay between the interleaving/causal semantics and the timing of choices between different executions.
Citation:
X.W. Huang, L. Jiao, W.M. Lu, "A Semantic Preorder on Refinement and Fairness," tase, pp.139-148, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), 2007
Usage of this product signifies your acceptance of the Terms of Use.