John C. Sarivougioukas, Aristides Th. Vagelatos, Isaac Lagaris. Use of Denotational Mathematics for the formal description of autonomous migration and polymorphism as prerequisites for mobility in home UbiHealth. In Ning Ge, Jianhua Lu, Yingxu Wang, Newton Howard, Philip Chen, Xiaoming Tao, Bo Zhang, Lotfi A. Zadeh, editors, 14th IEEE International Conference on Cognitive Informatics & Cognitive Computing, ICCI*CC 2015, Beijing, China, July 6-8, 2015. pages 368-374, IEEE, 2015. [doi]