From Applicative to Environmental Bisimulation - KOUTAVAS, VASILEIOS (Elsevier, 2011)
Electronic Notes in Theoretical Computer Science
Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVII)
PUBLISHED
Pittsburg, PA, USA
Keywords: Programming Languages