Login / Signup

Trace-based derivation of a scalable lock-free stack algorithm.

Lindsay GrovesRobert Colvin
Published in: Formal Aspects Comput. (2009)
Keyphrases