@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},
description = {dblp},
ee = {http://doi.ieeecomputersociety.org/10.1109/HASE.2007.18}, date = {2008-02-09},
keywords = {dblp }
}
::