UNIVERSITY OF OSLO Department of Informatics An Approach to Compositional Reasoning about Concurrent Objects and Futures 1 Research Report 415 Crystal Chang Din Johan Dovland Olaf Owe ISBN 82-7368-378-8 ISSN 0806-3036 Feb 2012