A Completeness Result for Finite λ-bisimulations.

Joost Winter

Browse the full FOSSACS paper archive.