From Active Names to pi-calculus Rewriting Rules

Ana Cristina Vieira de Melo. From Active Names to pi-calculus Rewriting Rules. Electronic Notes in Theoretical Computer Science, 130:169-185, 2005. [doi]

Abstract

Abstract is missing.