A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects.

Marina Lenisa

Browse the full FOSSACS paper archive.