A Complete Normal-Form Bisimilarity for State.

Dariusz Biernacki, Sergue Lenglet, Piotr Polesiuk

Browse the full FOSSACS paper archive.