RT Journal Article
T1 A full process algebraic representation of Ant Colony Optimization
A1 Rodríguez Laguna, Ismael
A1 López Barquilla, Natalia
A1 García Moreno, María
AB We 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.
PB Elsevier
YR 2023
FD 2023-12-27
LK https://hdl.handle.net/20.500.14352/103826
UL https://hdl.handle.net/20.500.14352/103826
LA eng
NO Garcí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.
NO 2023 Acuerdos transformativos CRUE
NO Ministerio de Ciencia e Innovación (España)
DS Docta Complutense
RD 20 abr 2025