Evolutionary computation as a multi-agent search: a -calculus perspective for its completeness and optimality | IEEE Conference Publication | IEEE Xplore