A language-based approach to construct structured and efficient object-based distributed systems | IEEE Conference Publication | IEEE Xplore