Interaction Nets vs. the ::::rho::::-calculus: Introducing Bigraphical Nets

Maribel Fernández, Ian Mackie, François-Régis Sinot. Interaction Nets vs. the ::::rho::::-calculus: Introducing Bigraphical Nets. Electronic Notes in Theoretical Computer Science, 154(3):19-32, 2006. [doi]

Abstract

Abstract is missing.