From Applicative To Environmental Bisimulation Vasileios - PowerPoint PPT Presentation

From ¡Applicative ¡To ¡ ¡ Environmental ¡Bisimulation Vasileios ¡Koutavas ¡ Trinity ¡College ¡Dublin ¡ Joint ¡work ¡with ¡Paul ¡B. ¡Levy ¡ and ¡Eijiro ¡Sumii ¡ QMUL ¡Program ¡Equivalence ¡Workshop, ¡April ¡2016 ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡based ¡on ¡[MFPS’11] ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ Research ¡supported ¡in ¡part ¡by ¡SFI ¡projects ¡ ¡13/RC/2094 ¡& ¡06/IN.1/1898 ¡ ¡