@inproceedings{conf/hase/CookSP07,
	title = {An Early-Reply Based Framework: Reliable Concurrency that Is Verifiable.},
	author = {Stephen W. Cook and Bjarne Stroustrup and Scott M. Pike},
	booktitle = {HASE},
	crossref = {conf/hase/2007},
	pages = {405-406},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/hase/hase2007.html#CookSP07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/227493cabe63560ac3718a5fd8de5b91f/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/HASE.2007.18}, date = {2008-02-09},
	keywords = {dblp }
}