论文标题
lang-n-send：发送语言的过程
Lang-n-Send: Processes That Send Languages
论文作者
论文摘要
我们提出了Lang-N-Send，这是一种配备语言定义的Pi-Calculus。 流程可以在操作语义中定义语言，并使用它们执行程序。 此外，过程可以通过渠道发送和接收操作语义。 我们为Lang-N-Send提供了简化的语义，并提供了示例，这些示例演示了Lang-N-Send捕获的一些场景。
We present Lang-n-Send, a pi-calculus that is equipped with language definitions. Processes can define languages in operational semantics, and use them to execute programs. Furthermore, processes can send and receive pieces of operational semantics through channels. We present a reduction semantics for Lang-n-Send, and we offer examples that demonstrate some of the scenarios that Lang-n-Send captures.
