Universitetet i Oslo Institutt for informatikk A Hoare Logic for Concurrent Objects with Asynchronous Method Calls Johan Dovland, Einar B. Johnsen, and Olaf Owe Research report 315 ISBN 82-7368-268-4 (Revised version) December 2004 Revised March 2006