TY  - JOUR
AU  - Rodríguez Laguna, Ismael
AU  - López Barquilla, Natalia
AU  - García Moreno, María
PY  - 2023
DO  - 10.1016/j.ins.2023.120025
UR  - https://hdl.handle.net/20.500.14352/103826
T2  - Information Sciences
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...
LA  - eng
M2  - 120025
PB  - Elsevier
KW  - Ant Colony Optimization
KW  - Swarm intelligence
KW  - Process algebras
KW  - Formal methods
TI  - A full process algebraic representation of Ant Colony Optimization
TY  - journal article
VL  - 658
ER  -