Basic Arithmetic Calculations Through Virus-Based Machines

TitleBasic Arithmetic Calculations Through Virus-Based Machines
Publication TypeConference Proceedings
Year of Publication2022
AuthorsRamírez-de-Arellano, A., Orellana-Martín D., & Pérez-Jiménez M. J.
Series EditorFerrández Vicente, J. M., Álvarez-Sánchez J. R., de la Paz López F., & Adeli H.
Conference NameBio-inspired Systems and Applications: from Robotics to Ambient Intelligence
PublisherSpringer International Publishing
Place PublishedCham
ISBN Number978-3-031-06527-9

In Natural Computing, several models of computation based on processes occurring in nature exist. While some of them are well-established computing framework, there are some types of devices that are underdeveloped. This is the case of Virus Machines, framework inspired by the movement of viruses between hosts, and how can they be replicated while certain events happen. The relevance of this work lies in the formal definition of the framework and both the insights presented about the formal verification of the different designs and the possible new research lines.