Գրեք սա: Leafy automata for higher-order concurrency