A full process algebraic representation of Ant Colony Optimization
M.T. Flórez García, Natalia López, Ismael Rodrı́guez
Topics & Concepts
Ant colony optimization algorithmsComputer scienceGranularityAnt colonyImplementationProcess (computing)Representation (politics)Parallel metaheuristicBasis (linear algebra)Algebraic numberANTTheoretical computer scienceMathematical optimizationMetaheuristicParallel computingAlgorithmMathematicsProgramming languageMeta-optimizationGeometryPoliticsPolitical scienceMathematical analysisComputer networkLawFormal Methods in VerificationEvolutionary Algorithms and ApplicationsDNA and Biological Computing