%0 Journal Article
%A Rodríguez Laguna, Ismael
%A López Barquilla, Natalia
%A García Moreno, María
%T A full process algebraic representation of Ant Colony Optimization
%D 2023
%U https://hdl.handle.net/20.500.14352/103826
%X 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.
%~