All Stories

  1. Enhanced coalgebraic bisimulation

    Article • Mathematical Structures in Computer Science, December 2015, Cambridge University Press

    Dr Marcello Bonsangue