Leafy Automata for Higher-Order Concurrency