發送短信: Leafy automata for higher-order concurrency