An Early-Reply Based Framework: Reliable Concurrency that Is Verifiable

Dallas, Texas, USA November 14-November 16

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/HASE.2007.54

10th IEEE High Assurance Systems Engi ...

	This Article
	PURCHASE ARTICLE: $0 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Stephen W. Cook Articles by Bjarne Stroustrup Articles by Scott M. Pike

	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 -

Stephen W. Cook

Bjarne Stroustrup

Scott M. Pike

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.