A formal approach for interoperability between mobile agent systems and component based architectures | IEEE Conference Publication | IEEE Xplore