Pi-nets : interaction nets for pi-calculus

Abstract

π-calculus is a framework that aims to describe concurrent calculations through a formal definition of processes. Originally, π-calculus is defined by a formal language and a set of reduction rules, much in the spirit of λ-calculus. Our aim is to provide a graphical representation of π-calculus using multi-wired interaction nets, in the spirit this time of… (More)

12 Figures and Tables

Topics

  • Presentations referencing similar topics