TY  - RPRT
TI  - Leafy Automata for Higher-Order Concurrency
AU  - Alex Dixon
AU  - Ranko Lazić
AU  - Andrzej S. Murawski
AU  - Igor Walukiewicz
PY  - 2021
UR  - https://arxiv.org/abs/2101.08720
ID  - 2101.08720
ER  -