Abstraction for Concurrent Objects

Abstraction for Concurrent Objects

Show other versions (2)
Bibliographic Details
Main Authors: Filipovic, I, O’Hearn, P, Rinetzky, N, Yang, H
Format: Conference item
Published: Springer−Verlag 2009
Search Result 1
Abstraction for Concurrent Objects

Abstraction for Concurrent Objects by Filipovic, I, O’Hearn, P, Rinetzky, N, Yang, H

Published 2010
Journal article
Search Result 2
Abstraction for concurrent objects

Abstraction for concurrent objects by Filipovic, I, O'Hearn, P, Rinetzky, N, Yang, H

Published 2010
Journal article
Show all versions (3)

Similar Items