将进程网络编译为交互网
编程语言
2016-09-14 v1 计算机科学中的逻辑
摘要
Kahn 进程网络是一种计算模型，基于一组通过无界信道发送消息进行通信的顺序确定性进程。它们非常适合于对基于流的计算进行建模，但绝不局限于这一应用。交互网是图重写系统，具有许多有利于实现的有趣性质。在本文中，我们展示了如何使用交互网对进程网络进行编码，其中我们在同一框架内对网络和消息进行建模。
引用
@article{arxiv.1609.03640,
title = {Compiling Process Networks to Interaction Nets},
author = {Ian Mackie},
journal= {arXiv preprint arXiv:1609.03640},
year = {2016}
}
备注
In Proceedings TERMGRAPH 2016, arXiv:1609.03014