loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
10th IEEE High Assurance Systems Engineering Symposium (HASE'07)
Dallas, Texas, USA
November 14-November 16
ISBN: 0-7695-3043-5
ASCII Text
x 
 
Stephen W. Cook, Bjarne Stroustrup, Scott M. Pike, "An Early-Reply Based Framework: Reliable Concurrency that Is Verifiable," High-Assurance Systems Engineering, IEEE International Symposium on, pp. 405-406, 10th IEEE High Assurance Systems Engineering Symposium (HASE'07), 2007.
 
 
BibTex
x
 
@article{ 10.1109/HASE.2007.54,
author = {Stephen W. Cook and Bjarne Stroustrup and Scott M. Pike},
title = {An Early-Reply Based Framework: Reliable Concurrency that Is Verifiable},
journal ={High-Assurance Systems Engineering, IEEE International Symposium on},
volume = {0},
year = {2007},
issn = {1530-2059},
pages = {405-406},
doi = {http://doi.ieeecomputersociety.org/10.1109/HASE.2007.54},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - High-Assurance Systems Engineering, IEEE International Symposium on
TI - An Early-Reply Based Framework: Reliable Concurrency that Is Verifiable
SN - 1530-2059
SP405
EP406
A1 - Stephen W. Cook,
A1 - Bjarne Stroustrup,
A1 - Scott M. Pike,
PY - 2007
KW - null
VL - 0
JA - High-Assurance Systems Engineering, IEEE International Symposium on
ER -
 
Despite its widespread use, concurrent programming is still plagued by reliability problems, such as race conditions and deadlock, not found in sequential programs. We present a concurrency framework to help developers avoid these error conditions, and make it possible to verify their absence through static analysis.
Citation:
Stephen W. Cook, Bjarne Stroustrup, Scott M. Pike, "An Early-Reply Based Framework: Reliable Concurrency that Is Verifiable," hase, pp.405-406, 10th IEEE High Assurance Systems Engineering Symposium (HASE'07), 2007
Usage of this product signifies your acceptance of the Terms of Use.