A Complete Coinductive Logical System for Bisimulation Equivalence of Circular Objects

LECTURE NOTES IN COMPUTER SCIENCE

WOS:000165598800017

http://hdl.handle.net/11390/683435

info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-18944378940

closed access