线性逻辑CC语言的观察等价性
摘要：线性逻辑并发约束编程（LCC）是并发约束编程（CC）的扩展，其中约束系统基于Girard的线性逻辑而不是经典逻辑。本文针对这种编程框架的程序等价性问题进行了研究。为此，我们提出了一种基于标签转换系统的LCC结构化操作语义，并研究了受进程代数最新技术启发的不同观察等价性概念。然后，我们证明了异步π计算可以被看作是LCC的简单语法限制。最后，我们展示了LCC观察等价性可以直接推导到经典并发约束语言和约束处理规则，并研究了得到的等价性。
作者：R''emy Haemmerl''e
论文ID：1108.0329
分类：Programming Languages
分类简称：cs.PL
提交时间：2011-08-02