arXiv · 2601.14436
A full process algebraic representation of Ant Colony Optimization
Abstract
We present a process algebra capable of specifying parallelized Ant Colony Optimization algorithms in full detail: PA$^2$CO. After explaining the basis of three different ACO algorithms (Ant System, MAX-MIN Ant System, and Ant Colony System), we formally define PA$^2$CO 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.
Explore related subjects
Keep this discovery
Maria Garcia, Natalia Lopez, Ismael Rodriguez. 2026-01-20. A full process algebraic representation of Ant Colony Optimization. https://doi.org/10.1016/j.ins.2023.120025
Cite the original work for its findings. Save a collection to share your selection of sources.