Linking consistency with object/thread semantics: an approach to robust computation | IEEE Conference Publication | IEEE Xplore