Mobile Objects and Modern Communication Abstractions: Design Issues and Denotational Semantics | IEEE Conference Publication | IEEE Xplore