Leafy automata for higher-order concurrency.

Alex Dixon, Ranko Lazic, Andrzej S. Murawski, Igor Walukiewicz

Browse the full FOSSACS paper archive.