凯文·沃特金斯；伊利亚诺·塞维萨托；弗兰克·芬宁；大卫·沃克 并发逻辑框架：命题片段。 （英语） Zbl 1100.68548号 Berardi，Stefano（编辑）等人，《证明和程序的类型》。2003年4月30日至5月4日，意大利都灵，TYPES 2003国际研讨会。修改选定的论文。柏林：施普林格出版社（ISBN 3-540-22164-6/pbk）。计算机科学课堂讲稿3085，355-377（2004）。 摘要：我们提出了并发逻辑框架（CLF）的命题片段CLF（_0）。CLF扩展了线性逻辑框架，允许以对象语言自然表示并发计算。基础类型理论使用一元类型将值与计算分离。这种分离导致了一种易于理解的定义相等概念，它标识了仅在独立步骤的执行顺序上有所不同的计算。从逻辑的角度来看，我们的类型理论可以看作是松散逻辑和对偶直觉主义线性逻辑的一种新的组合。一个小型Petri网的编码就是这种表示方法的例证，它可以概括为“作为一元表达式的并发计算”。关于整个系列，请参见[兹比尔1052.68001]. 引用于1审查引用于44文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 03B70号 计算机科学中的逻辑 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 软件：Multilisp公司；PAL键+ PDF格式BibTeX公司 XML格式引用 \textit{K.Watkins}等人，Lect。注释计算。科学。3085355--377（2004年；Zbl 1100.68548） 全文： 内政部