{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,23]],"date-time":"2024-09-23T04:32:22Z","timestamp":1727065942763},"reference-count":31,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T00:00:00Z","timestamp":1706745600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2024,1,3]],"date-time":"2024-01-03T00:00:00Z","timestamp":1704240000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100004837","name":"Ministerio de Ciencia e Innovaci\u00f3n","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004837","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100014440","name":"Gobierno de Espa\u00f1a Ministerio de Ciencia e Innovaci\u00f3n","doi-asserted-by":"publisher","award":["PID2019-108528RB-C22"],"id":[{"id":"10.13039\/100014440","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Information Sciences"],"published-print":{"date-parts":[[2024,2]]},"DOI":"10.1016\/j.ins.2023.120025","type":"journal-article","created":{"date-parts":[[2023,12,20]],"date-time":"2023-12-20T18:32:48Z","timestamp":1703097168000},"page":"120025","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":2,"special_numbering":"C","title":["A full process algebraic representation of Ant Colony Optimization"],"prefix":"10.1016","volume":"658","author":[{"ORCID":"http:\/\/orcid.org\/0009-0000-0344-4238","authenticated-orcid":false,"given":"Mar\u00eda","family":"Garc\u00eda","sequence":"first","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0002-2941-9652","authenticated-orcid":false,"given":"Natalia","family":"L\u00f3pez","sequence":"additional","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0002-7748-7780","authenticated-orcid":false,"given":"Ismael","family":"Rodr\u00edguez","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.ins.2023.120025_br0010","doi-asserted-by":"crossref","first-page":"7921","DOI":"10.1007\/s11227-018-2472-9","article-title":"Comparing GPU-parallelized metaheuristics to branch-and-bound for batch plants optimization","volume":"75","author":"Borisenko","year":"2019","journal-title":"J. Supercomput."},{"key":"10.1016\/j.ins.2023.120025_br0020","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/MCI.2006.329691","article-title":"Ant colony optimization","volume":"1","author":"Dorigo","year":"2006","journal-title":"IEEE Comput. Intell. Mag."},{"key":"10.1016\/j.ins.2023.120025_br0030","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1109\/3477.484436","article-title":"Ant system: optimization by a colony of cooperating agents","volume":"26","author":"Dorigo","year":"1996","journal-title":"IEEE Trans. Syst. Man Cybern., Part B"},{"key":"10.1016\/j.ins.2023.120025_br0040","series-title":"The Ant Colony Opimization Metaheuristic: Algorithms, Applications, and Advances","author":"Dorigo","year":"2003"},{"key":"10.1016\/j.ins.2023.120025_br0050","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1016\/j.tcs.2007.04.012","article-title":"The cost-calculus process algebra for problem solving: a paradigmatic shift in handling hard computational problems","volume":"383","author":"Eberbach","year":"2007","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/j.ins.2023.120025_br0060","series-title":"Int. Workshop on GNs","first-page":"41","article-title":"Generalized net models of the process of ant colony optimization with intuitionistic fuzzy estimations","author":"Fidanova","year":"2008"},{"issue":"3","key":"10.1016\/j.ins.2023.120025_br0070","first-page":"1","article-title":"Generalized net model for the process of hybrid ant colony optimization","volume":"62","author":"Fidanova","year":"2009","journal-title":"Proc. Bulgar. Acad. Sci."},{"key":"10.1016\/j.ins.2023.120025_br0080","series-title":"Large-Scale Scientific Computing","first-page":"326","article-title":"Generalized nets as tools for modelling of the ant colony optimization algorithms","volume":"vol. 5910","author":"Fidanova","year":"2010"},{"key":"10.1016\/j.ins.2023.120025_br0090","series-title":"Introduction to Process Algebra","author":"Fokkink","year":"2000"},{"key":"10.1016\/j.ins.2023.120025_br0100","series-title":"Introduction to Process Algebra","author":"Fokkink","year":"2013"},{"key":"10.1016\/j.ins.2023.120025_br0110","article-title":"Multi-GPU based parallel design of the ant colony optimization algorithm for endmember extraction from hyperspectral images","volume":"19","author":"Gao","year":"2019","journal-title":"Sensors"},{"key":"10.1016\/j.ins.2023.120025_br0120","series-title":"Proceedings of the Fifth Annual Symposium on Logic in Computer Science LICS '90","first-page":"130","article-title":"Reactive, generative, and stratified models of probabilistic processes","author":"van Glabbeek","year":"1990"},{"key":"10.1016\/j.ins.2023.120025_br0130","series-title":"Genetic Algorithms in Search, Optimisation and Machine Learning","author":"Goldberg","year":"1989"},{"key":"10.1016\/j.ins.2023.120025_br0140","series-title":"Modelling and Analysis of Communicating Systems","author":"Groote","year":"2002"},{"key":"10.1016\/j.ins.2023.120025_br0150","series-title":"Swarm Intelligence","author":"Kennedy","year":"2001"},{"key":"10.1016\/j.ins.2023.120025_br0160","article-title":"A review on artificial bee colony algorithms and their applicantions to data clustering","volume":"17","author":"Kumar","year":"2009","journal-title":"Cybern. Inf. Technol."},{"key":"10.1016\/j.ins.2023.120025_br0170","doi-asserted-by":"crossref","first-page":"993","DOI":"10.32604\/cmc.2020.012464","article-title":"Optimizing bidders selection of multi-round procurement problem in software project management using parallel max-min ant system algorithm","volume":"66","author":"Le","year":"2021","journal-title":"Comput. Mater. Continua"},{"key":"10.1016\/j.ins.2023.120025_br0180","series-title":"Validation of Stochastic Systems - a Guide to Current Research","first-page":"89","article-title":"An overview of probabilistic process algebras and their equivalences","volume":"vol. 2925","author":"L\u00f3pez","year":"2004"},{"key":"10.1016\/j.ins.2023.120025_br0190","doi-asserted-by":"crossref","DOI":"10.1016\/j.swevo.2021.100982","article-title":"Generalization and completeness of stochastic local search algorithms","volume":"68","author":"Loscos","year":"2022","journal-title":"Swarm Evol. Comput."},{"key":"10.1016\/j.ins.2023.120025_br0200","series-title":"Validation of Stochastic Systems","first-page":"89","article-title":"An overview of probabilistic process algebras and their equivalences","volume":"vol. 2925","author":"L\u00f3pez","year":"2004"},{"key":"10.1016\/j.ins.2023.120025_br0210","series-title":"Ant Colony Optimization and Swarm Intelligence, 5th International Workshop, ANTS 2006","first-page":"224","article-title":"Parallel ant colony optimization for the traveling salesman problem","author":"Manfrin","year":"2006"},{"key":"10.1016\/j.ins.2023.120025_br0220","series-title":"Coordination Models and Languages","first-page":"152","article-title":"Fluid analysis of foraging ants","author":"Massink","year":"2012"},{"key":"10.1016\/j.ins.2023.120025_br0230","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1007\/s10766-022-00736-3","article-title":"Parallelization of swarm intelligence algorithms: literature review","volume":"50","author":"de Melo Menezes","year":"2022","journal-title":"Int. J. Parallel Program."},{"key":"10.1016\/j.ins.2023.120025_br0240","doi-asserted-by":"crossref","first-page":"776","DOI":"10.1007\/s10766-021-00714-1","article-title":"High-level parallel ant colony optimization with algorithmic skeletons","volume":"49","author":"de Melo Menezes","year":"2021","journal-title":"Int. J. Parallel Program."},{"key":"10.1016\/j.ins.2023.120025_br0250","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","article-title":"A calculus of mobile processes, i.","volume":"100","author":"Milner","year":"1992","journal-title":"Inf. Comput."},{"key":"10.1016\/j.ins.2023.120025_br0260","series-title":"Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6\/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems","first-page":"169","article-title":"PAMR: a process algebra for the management of resources in concurrent systems","author":"N\u00fa\u00f1ez","year":"2001"},{"key":"10.1016\/j.ins.2023.120025_br0270","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/s11721-007-0002-0","article-title":"Particle swarm optimization","volume":"1","author":"Poli","year":"2007","journal-title":"Swarm Intell."},{"key":"10.1016\/j.ins.2023.120025_br0280","series-title":"International Conference on Unconventional Computation","first-page":"163","article-title":"Using river formation dynamics to design heuristic algorithms","author":"Rabanal","year":"2007"},{"key":"10.1016\/j.ins.2023.120025_br0290","doi-asserted-by":"crossref","first-page":"889","DOI":"10.1016\/S0167-739X(00)00043-1","article-title":"Max-min ant system","volume":"16","author":"St\u00fctzle","year":"2000","journal-title":"Future Gener. Comput. Syst."},{"key":"10.1016\/j.ins.2023.120025_br0300","doi-asserted-by":"crossref","DOI":"10.1006\/bulm.2001.0252","article-title":"Ants and agents: a process algebra approach to modelling ant colony behaviour","volume":"63","author":"Sumpter","year":"2001","journal-title":"Bull. Math. Biol."},{"key":"10.1016\/j.ins.2023.120025_br0310","first-page":"227","article-title":"Describing social insect behaviour using process algebra","volume":"9","author":"Tofts","year":"1992","journal-title":"Trans.-Soc. Comput. Simul."}],"container-title":["Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020025523016109?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020025523016109?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,1,4]],"date-time":"2024-01-04T22:17:01Z","timestamp":1704406621000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0020025523016109"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,2]]},"references-count":31,"alternative-id":["S0020025523016109"],"URL":"https:\/\/doi.org\/10.1016\/j.ins.2023.120025","relation":{},"ISSN":["0020-0255"],"issn-type":[{"value":"0020-0255","type":"print"}],"subject":[],"published":{"date-parts":[[2024,2]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"A full process algebraic representation of Ant Colony Optimization","name":"articletitle","label":"Article Title"},{"value":"Information Sciences","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.ins.2023.120025","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2024 The Authors. Published by Elsevier Inc.","name":"copyright","label":"Copyright"}],"article-number":"120025"}}