A full process algebraic representation of Ant Colony Optimization | Publicación