Enviar aquest missatge de text: Leafy automata for higher-order concurrency