<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>10</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Ramírez-de-Arellano, Antonio</style></author><author><style face="normal" font="default" size="100%">David Orellana-Martín</style></author><author><style face="normal" font="default" size="100%">Mario J. Pérez-Jiménez</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Ferrández Vicente, José Manuel</style></author><author><style face="normal" font="default" size="100%">Álvarez-Sánchez, José Ramón</style></author><author><style face="normal" font="default" size="100%">de la Paz López, Félix</style></author><author><style face="normal" font="default" size="100%">Adeli, Hojjat</style></author></secondary-authors><tertiary-authors><author><style face="normal" font="default" size="100%">Ferrández Vicente, José Manuel</style></author><author><style face="normal" font="default" size="100%">Álvarez-Sánchez, José Ramón</style></author><author><style face="normal" font="default" size="100%">de la Paz López, Félix</style></author><author><style face="normal" font="default" size="100%">Adeli, Hojjat</style></author></tertiary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Basic Arithmetic Calculations Through Virus-Based Machines</style></title><secondary-title><style face="normal" font="default" size="100%">Bio-inspired Systems and Applications: from Robotics to Ambient Intelligence</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2022</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer International Publishing</style></publisher><pub-location><style face="normal" font="default" size="100%">Cham</style></pub-location><pages><style face="normal" font="default" size="100%">403–412</style></pages><isbn><style face="normal" font="default" size="100%">978-3-031-06527-9</style></isbn><abstract><style face="normal" font="default" size="100%">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.</style></abstract></record></records></xml>