Rodríguez Laguna, IsmaelLópez Barquilla, NataliaGarcía Moreno, María2024-05-082024-05-082023-12-27García, M.; López, N.; Rodríguez, I. A Full Process Algebraic Representation of Ant Colony Optimization. Information Sciences 2024, 658. https://doi.org/10.1016/j.ins.2023.120025.10.1016/j.ins.2023.120025https://hdl.handle.net/20.500.14352/1038262023 Acuerdos transformativos CRUEWe present a process algebra capable of specifying parallelized Ant Colony Optimization algorithms in full detail: PA2CO. After explaining the basis of three different ACO algorithms (Ant System, MAX-MIN Ant System, and Ant Colony System), we formally define PA2CO and use it for representing several types of implementations with different parallel schemes. In particular fine-grained and coarse-grained specifications, each one taking advantage of parallel executions at different levels of system granularity, are formalized.engAttribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/journal articlehttps://www.sciencedirect.com/search?qs=10.1016/j.ins.2023.120025open access004(043.3)Ant Colony OptimizationSwarm intelligenceProcess algebrasFormal methodsInformática (Informática)33 Ciencias Tecnológicas