论文标题
lang-n-send扩展：向监视器发送正则表达式
Lang-n-Send Extended: Sending Regular Expressions to Monitors
论文作者
论文摘要
在先前的工作中，Cimini介绍了Lang-N-Send，这是一种具有语言定义的Pi-Calculus。 在本文中，我们提出了该积分的扩展名，称为lang-n-s-send+m。首先，我们修改了lang-n-send以使用过渡系统规范而不是其语言规范。此修订允许在扣除规则中使用否定前提。接下来，我们通过监视器扩展Lang-n-send，并具有发送和接收正则表达式的能力，然后可以在较大的正则表达式中使用，以监视程序的执行。 我们为Lang-N-Send+M提供了简化的语义，并提供了演示计算捕获的场景的示例。
In prior work, Cimini has presented Lang-n-Send, a pi-calculus with language definitions. In this paper, we present an extension of this calculus called Lang-n-Send+m. First, we revise Lang-n-Send to work with transition system specifications rather than its language specifications. This revision allows the use of negative premises in deduction rules. Next, we extend Lang-n-Send with monitors and with the ability of sending and receiving regular expressions, which then can be used in the context of larger regular expressions to monitor the execution of programs. We present a reduction semantics for Lang-n-Send+m, and we offer examples that demonstrate the scenarios that our calculus captures.
