Stephen W. Cook

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

Stephen W. Cook, Bjarne Stroustrup, Scott M. Pike
An Early-Reply Based Framework: Reliable Concurrency that Is Verifiable. HASE (2007)