Verifying higher-order concurrency with data automata.

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

Browse the full LICS paper archive.