@proceedings {10.1007/978-3-031-06527-9_40,
	title = {Basic Arithmetic Calculations Through Virus-Based Machines},
	journal = {Bio-inspired Systems and Applications: from Robotics to Ambient Intelligence},
	year = {2022},
	pages = {403{\textendash}412},
	publisher = {Springer International Publishing},
	address = {Cham},
	abstract = {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.},
	isbn = {978-3-031-06527-9},
	doi = {https://doi.org/10.1007/978-3-031-06527-9_40},
	author = {Ram{\'\i}rez-de-Arellano, Antonio and David Orellana-Mart{\'\i}n and Mario J. P{\'e}rez-Jim{\'e}nez},
	editor = {Ferr{\'a}ndez Vicente, Jos{\'e} Manuel and {\'A}lvarez-S{\'a}nchez, Jos{\'e} Ram{\'o}n and de la Paz L{\'o}pez, F{\'e}lix and Adeli, Hojjat}
}
