Static analysis of deterministic negotiations.

Javier Esparza, Anca Muscholl, Igor Walukiewicz

Browse the full LICS paper archive.