Paul Blain Levy. Characterizing Recursive Programs up to Bisimilarity. In Luigi Santocanale, editor, 7th Workshop on Fixed Points in Computer Science, FICS 2010, Brno, Czech Republic, August 21-22, 2010. pages 47-52, Laboratoire d'Informatique Fondamentale de Marseille, 2010. [doi]
Abstract is missing.