Sciweavers

Comparison Under Abstraction for Verifying Linearizability
Recent Google, Yahoo, MSN search queries leading to this post
Comparison Under Abstraction for Verifying Linearizability