학술논문
Compiling Process Networks to Interaction Nets
Document Type
article
Author
Source
Electronic Proceedings in Theoretical Computer Science, Vol 225, Iss Proc. TERMGRAPH 2016, Pp 5-14 (2016)
Subject
Language
English
ISSN
2075-2180
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.