Faithful pi-nets - A graphical representation of the asynchronous pi-calculus

Gabriel Ciobanu, Mihai Rotaru. Faithful pi-nets - A graphical representation of the asynchronous pi-calculus . Electronic Notes in Theoretical Computer Science, 18:24-45, 1998. [doi]

Abstract

Abstract is missing.