Stephen W. Cook

According to our database, Stephen W. Cook authored at least 1 paper in 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

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

Stephen W. Cook, Bjarne Stroustrup, Scott M. Pike

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007