双向网
Bigraphical Nets
摘要：
交互网络是一种图形化的计算模型，它被用来定义函数演算的有效赋值器，特别是带有模式的lambda演算。然而，交互网络的扁平结构迫使模式匹配和功能行为在同一级别编码，从而失去了一些潜在的并行性。在本文中，我们介绍bigraphical网，或binets的简称，作为一个概括的互动网络使用的想法从bigraphs和端口图，我们提出了一个正式的符号和操作语义binets。我们通过应用实例说明了它们的表达能力。
英文摘要：
Interaction nets are a graphical model of computation, which has been used to define efficient evaluators for functional calculi, and specifically lambda calculi with patterns. However, the flat structure of interaction nets forces pattern matching and functional behaviour to be encoded at the same level, losing some potential parallelism. In this paper, we introduce bigraphical nets, or binets for short, as a generalisation of interaction nets using ideas from bigraphs and port graphs, and we present a formal notation and operational semantics for binets. We illustrate their expressive power by examples of applications.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
