Compiling Process Networks to Interaction Nets

TL;DR

This paper presents a method to encode Kahn process networks within interaction nets, unifying process and message modeling in a graph rewriting framework, enhancing the understanding of their computational properties.

Contribution

It introduces a novel encoding technique that represents process networks as interaction nets, enabling unified modeling of networks and messages.

Findings

Successful encoding of process networks into interaction nets

Demonstrates potential for improved implementation strategies

Provides a unified framework for modeling communication and computation

Abstract

Kahn process networks are a model of computation based on a collection of sequential, deterministic processes that communicate by sending messages through unbounded channels. They are well suited for modelling stream-based computations, but are in no way restricted to this application. Interaction nets are graph rewriting systems that have many interesting properties for implementation. In this paper we show how to encode process networks using interaction nets, where we model both networks and messages in the same framework.