Modelling Calculi with Name Mobility using Graphs with Equivalences

Paolo Baldan, Fabio Gadducci, Ugo Montanari. Modelling Calculi with Name Mobility using Graphs with Equivalences. Electronic Notes in Theoretical Computer Science, 176(1):85-97, 2007. [doi]

Abstract

Abstract is missing.