Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic.

Roberto Bruni, David de Frutos-Escrig, Narciso Mart-Oliet, Ugo Montanari

Browse the full CONCUR paper archive.