Formal semantics and properties of the Habanero concurrency language