Hola: Diría que Senecio barbertonicus, y creo que Senecio Himalaya es un nombre comercial, no botánico.
Seguramente debe ser como dices. Leo en RHS Plant Finder un Senecio talinoides subsp. cylindricus 'Himalaya'. Quizás la denominación 'Himalaya' está mal aplicada a Senecio barbertonicus. Aunque en este foro la cosa parece que la tienen clara http://www.botanicalgarden.ubc.ca/forums/showthread.php?t=35968 y se trata como dices de un nombre comercial de Senecio barbertonicus
Hola: Hace unos años -mi recuerdo es de 2008 ó 2009- se empezaron a ver, creo que procedentes de un vivero holandés, unas partidas de suculentas etiquetadas con nombres de ese estilo, había "Senecio Himalaya", 'Senecio Fuji', 'Senecio Kilimanjaro', "Senecio Kinabalu"... eran 4 ó 5 distintos, y todos correspondían a especies de este género (Senecio barbertonicus, S. cephalophorus, S. talinoides las que recuerdo). Parece que el nombre -y la planta- que tuvo más éxito fue el que nos ocupa. Saludos
