Precongruences and Parametrized Coinduction for Logics for Behavioral Equivalence.

David Sprunger, Lawrence S. Moss

Browse the full CALCO paper archive.