void terminate_agent(Name agent_name)

Bei der terminate_agent()-Methode handelt es sich um eine vom GenericAgentManager geerbte Methode und dient der Terminierung eines Voyager Agenten. Da die Terminierung eins Voyager Agenten durch den Garbage Collection Mechanismus erfolgt, wird in terminate_agent lediglich die Referenz im Namespace auf einen Voyager Agenten gelöscht, um dem Distributed Garbage Collector die Möglichkeit zu geben, den Voyager Agenten zu entfernen ([Obje b],s.S.12). Dazu ist der Start eines Voyager Clients nötig (zur damit verbundenen Problematik siehe Absatz ``create_agent()'').