Nominal 进程演算的规则格式
Rule Formats for Nominal Process Calculi
AI总结：
本研究引入 nominal 剩余迁移系统（NRTS）来研究 nominal 迁移系统（NTS），提出可保证NRTS是NTS的规则格式并应用于early pi-calculus，研究基于Nominal SOS及nominal集合、逻辑相关前期工作。
摘要：
Parrow 等人提出的 nominal 迁移系统（NTS）用于刻画 nominal 进程演算的操作语义。我们通过引入 nominal 剩余迁移系统（NRTS）来研究 NTS。我们为 NRTS 的规约提供了规则格式，可确保对应的 NRTS 是一个 NTS，并将其应用于 early pi-calculus 的操作规约。本研究源于近期 Cimini 等人的 Nominal SOS 工作，以及 Gabbay、Pitts 及其合作者此前在 nominal 集合与 nominal 逻辑领域的研究。
英文摘要：
The nominal transition systems (NTSs) of Parrow et al. describe the operational semantics of nominal process calculi. We study NTSs in terms of the nominal residual transition systems (NRTSs) that we introduce. We provide rule formats for the specifications of NRTSs that ensure that the associated NRTS is an NTS and apply them to the operational specification of the early pi-calculus. Our study stems from the recent Nominal SOS of Cimini et al. and from earlier works in nominal sets and nominal logic by Gabbay, Pitts and their collaborators.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
