×
路易斯·凯雷斯;卢卡·卡德利

用于并发的空间逻辑。一、。 （英语） Zbl 1068.03022号

Inf.计算。 186，第2期，194-235（2003）.
提出了一种能够表达并发系统新鲜性、保密性、结构和行为的逻辑。它包含与合成、局部名称限制和原始新鲜名称量词相对应的空间操作。首先简要回顾了异步（pi）演算。随后详细介绍了空间逻辑的语法、语义和逻辑有效性。最后，对新的和隐藏的名称量化以及递归定义属性进行了讨论。
审核人：达马斯·格鲁斯卡（布拉迪斯拉发）

引用于48文件

理学硕士：

03B70号 计算机科学中的逻辑
60年第68季度 规范和验证（程序逻辑、模型检查等）
68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等）

关键词：

空间逻辑;并发;\（\pi\）-微积分

软件：

SLMC公司
PDF格式BibTeX公司 XML格式引用
\textit{L.Caires}和\textit{L.Cardelli}，信息计算。186，第2号，194--235（2003；Zbl 1068.03022）
全文： 内政部

参考文献：

[1] G.布多尔。异步和\（π\）；G.布多尔。异步和\（π\）
[2] L.Caires，《具有并发性和移动性的声明性编程和规范模型》，博士论文，意大利新里斯本大学FCT信息技术系，1999年；L.Caires，具有并发性和移动性的声明性编程和规范模型，博士论文，意大利新里斯本大学FCT信息技术系，1999年
[3] L.Caires。流动性规范逻辑，技术报告4，意大利新里斯本大学FCT信息部，2000年；L.Caires。流动性规范逻辑，技术报告4，意大利新里斯本大学FCT信息部，2000年
[4] Caires，L。；Cardelli，L.，《并发的空间逻辑》（第一部分），（Kobayashi，N.；Pierce，B.C.，《第十届计算机科学理论方面研讨会论文集》（TACS 2001）。第十届计算机科学理论方面研讨会论文集（TACS 2001），《计算机科学讲义》，第2215卷（2001），斯普林格-Verlag），1-30·兹比尔1087.03507
[5] 凯恩斯。；Cardelli，L.，《并发的空间逻辑》（第二部分），（CONCUR 2002:并发理论（第13届国际会议）。CONCUR 2002：并发理论（第13届国际会议），计算机科学讲稿（2002），Springer-Verlag）·Zbl 1012.68122号
[6] Caires，L。；Monteiro，L.，《（Lπ）中并发对象的可验证和可执行规范》，（Hankin，C.，《编程语言和系统：第七届欧洲编程交响乐会论文集》（ESOP 1998）。编程语言与系统：第七届欧洲交响乐会会议录。《程序设计》（ESOP 1998），《计算机科学讲义》，第1381卷（1998），斯普林格-Verlag），42-56
[7] C.Calcagno、Luca Cardelli、Andrew Gordon，《树的空间逻辑中的有效性判定》，ACM语言设计与实现类型研讨会，TLDI’03，新奥尔良，2003年1月，ACM出版社，第62-73页；C.Calcagno、Luca Cardelli、Andrew Gordon，《树的空间逻辑中的有效性判定》，ACM语言设计与实现类型研讨会，TLDI’03，新奥尔良，2003年1月，ACM出版社，第62-73页
[8] 卡德利，L。；加德纳，P。；Ghelli，G.，《查询图形的空间逻辑》，（第29届自动化、语言和编程学术讨论会。第29届自动、语言和程序学术讨论会，计算机科学讲稿（2002），Springer-Verlag）·Zbl 1057.68606号
[9] 卡德利，L。；Ghelli，G.，《基于环境逻辑的查询语言》（David Sands，《编程语言和系统：第十届欧洲编程研讨会论文集》（ESOP 2001）。编程语言和系统：第十届欧洲编程研讨会论文集（ESOP 2001），《计算机科学讲义》，第2028卷（2001），斯普林格-Verlag），1-22·Zbl 0977.68028号
[10] 卡德利，L。；戈登，A.D.，随时随地。移动环境的模态逻辑，（第27届ACM编程语言原理研讨会（2000年），ACM），365-377·Zbl 1323.68405号
[11] 卡德利，L。；Gordon，A.D.，名称限制的逻辑属性·Zbl 0981.68036号
[12] W.Charatonik，J.-M.Talbot。模型检查移动环境的可判定性。《欧洲计算机科学逻辑协会第十五届年会论文集》，《计算机科学讲义》，斯普林格·弗拉格出版社，2001年出版；W.Charatonik，J.-M.Talbot。模型检查移动环境的可判定性。《欧洲计算机科学逻辑协会第十五届年会论文集》，《计算机科学讲义》，斯普林格-弗拉格出版社，2001年出版·Zbl 0999.68123号
[13] Dal-Zilio，S.，环境的空间一致性是可判定的，（《亚洲计算机科学会议论文集》，亚洲计算机科学大会论文集，1961（2000）卷，Springer-verlag），365-377·Zbl 0987.68048号
[14] Dam，M.，关联逻辑和并发合成，（第三届计算机科学逻辑年度研讨会论文集，1988年），IEEE计算机学会：苏格兰爱丁堡IEEE计算机协会），178-185
[15] M.Dam，关联逻辑与并发写作，爱丁堡大学博士论文，1989年；M.Dam，关联逻辑与并发合成，爱丁堡大学博士论文，1989年
[16] Dam，M.，模型检查移动过程，信息与计算，129，1，35-51（1996）·Zbl 0864.68036号
[17] M.Dam，证明系统（π）；M.大坝，（π）的验证系统·Zbl 1038.03034号
[18] Engelfriet，J。；Gelsema，Tj.，具有复制的\（π\）-微积分的多集和结构同余，理论计算机科学，211311-337（1999）·兹比尔0912.68125
[19] 加巴伊，M。；Pitts，A.，带变量绑定的抽象语法的新方法，计算的形式方面，13，341-363（2002）·Zbl 1001.68083号
[20] 加巴伊，M。；Pitts，A.，《涉及装订的抽象语法的新方法》，（第14届计算机科学逻辑年会（1999），IEEE计算机学会出版社：IEEE计算机协会出版社，华盛顿），214-224
[21] Gardner，P.，《从过程计算到过程框架》（Catuscia Palamidessi，CONCUR 2000:并发理论）（第11届国际会议，宾夕法尼亚州大学公园，美国）。CONCUR 2000：并发理论（第11届国际会议，美国宾夕法尼亚州大学公园），计算机科学讲稿，第1877卷（2000），斯普林格出版社），69-88·Zbl 0999.68137号
[22] 轩尼诗，M。；Milner，R.，《不确定性和并发性的代数定律》，JACM，32，1，137-161（1985）·Zbl 0629.68021号
[23] Hirschkoff，D。；Lozes，E。；Sangiorgi，D.，《环境逻辑中的可分性、表达性和可判定性》，（第三届计算机科学中的逻辑年度研讨会论文集（2002年），IEEE计算机学会：IEEE计算机协会，丹麦哥本哈根）·Zbl 1205.03046号
[24] 本田，K。；Tokoro，M.，《异步通信语义》（On asynchronous communication semantics），（Tokolo，M.；Nierstrasz，O.；Wegner，P.，《基于对象的并发计算》1991年。基于对象的并发计算1991，计算机科学讲义，第612卷（1992），Springer-Verlag），21-51
[25] Kozen，D.，命题演算的结果，理论计算机科学，27，3，333-354（1983）·Zbl 0553.03007号
[26] Milner，R.，《函数作为过程，计算机科学中的数学结构》，2，2，119-141（1992）·Zbl 0773.03012号
[27] Milner，R.，《通信和移动系统：（π）-微积分》（1999），剑桥大学出版社·Zbl 0942.68002号
[28] R.Milner，《双图反应系统：基本理论》。《523号技术报告》，剑桥计算机实验室，2002年；R.Milner，《双图反应系统：基本理论》。技术报告523，剑桥计算机实验室，2002年
[29] 米尔纳，R。；帕罗，J。；Walker，D.，移动过程的模态逻辑，理论计算机科学，114149-171（1993）·Zbl 0778.68033号
[30] 奥赫恩，P。；Pym，D.，《集群暗示的逻辑》，《符号逻辑公报》，5，2，215-243（1999）·Zbl 0930.03095号
[31] Pitts，A.，《名义逻辑：名称和约束的一阶理论》（Pierce，B.C.；Kobayashi，N.，《第十届计算机科学理论方面研讨会论文集》（TACS 2001）。第十届计算机科学理论方面研讨会论文集（TACS 2001），《计算机科学讲义》，第2215卷（2001），斯普林格-Verlag，219-235·Zbl 1087.03510号
[32] Reynolds，J.C.，《分离逻辑：共享可变数据结构的逻辑》（2002年第三届计算机科学逻辑年会论文集，IEEE计算机学会：IEEE计算机协会，丹麦哥本哈根）
[33] Sangiorgi，D.，《环境逻辑的外延和内涵》，（第28届编程语言原理年度研讨会（2001年），美国计算机学会），4-13·兹比尔1323.68415
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。