Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii. From Applicative to Environmental Bisimulation. Electronic Notes in Theoretical Computer Science, 276:215-235, 2011. [doi]
No references recorded for this publication.
No citations of this publication recorded.