×
伊恩·卫尔曼;C.A.R.霍尔。;O'Hearn，Peter W。

分离逻辑的图形模型。 （英文） Zbl 1200.68153号

信息处理。莱特。 109，编号：171001-1004（2009）.
摘要：图用于建模并发程序执行过程中发生的事件之间的控制和数据流。我们对数据流的处理包括共享存储和外部通信。然而，霍尔和琼斯正确性推理定律在这个通用模型中解释时仍然有效。

引用于11文件

MSC公司：

68问题55 计算理论中的语义学
68T27型 人工智能中的逻辑

关键词：

并发;形式语义学

软件：

SLMC公司
PDF格式BibTeX公司 XML格式引用
\textit{I.Wehrman}等人，《信息处理》。莱特。109，编号171001--1004（2009年；兹bl 1200.68153）
全文： 内政部

参考文献：

[1] Caires，L。；Cardelli，L.，并发的空间逻辑。第一部分，通知。和计算。，186, 2, 194-235 (2003) ·Zbl 1068.03022号
[2] 加尔卡尼奥，C。；加德纳，P。；Zarfaty，U.，《作为模态逻辑的上下文逻辑：完整性和参数不表达性》（Hofmann，M.；Felleisen，M.，POPL（2007），ACM），123-134·Zbl 1295.68079号
[3] 加尔卡尼奥，C。；O'Hearn，P.W。；Yang，H.，局部动作和抽象分离逻辑（LICS（2007），IEEE计算机学会），366-378
[4] Cardelli，L。；加德纳，P。；Ghelli，G.，《查询图形的空间逻辑》，（Widmayer，P.；Ruiz，F.T.；Bueno，R.M.；Hennessy，M.；Eidenbenz，S.；Conejo，R.，ICALP.ICALP，LNCS，第2380卷（2002），Springer），597-610·Zbl 1057.68606号
[5] Hoare，C.A.R.，《计算机编程的公理基础》，通信ACM，12，10，576-580（1969）·Zbl 0179.23105号
[6] 霍尔，C.A.R。；国防部长，I。；O'Hearn，P.W.，分离逻辑的图形模型，（软件安全和安全的工程方法和工具（2009），暑期学校Marktoberdorf：暑期学校马克托伯多夫IOS出版社），在线·兹比尔1200.68153
[7] C.B.Jones，《包括干扰概念在内的计算机程序开发方法》，牛津大学博士论文，1981年；C.B.Jones，《包括干扰概念的计算机程序开发方法》，牛津大学博士论文，1981年
[8] Kozen，D.，《关于Kleene代数和闭半环》（Proceedings，Math.Found.of Compute.Sci.，Proceeding，Math.Found.for Compute.Sic.，LNCS，vol.452（1990），Springer-Verlag），26-47·Zbl 0732.03047号
[9] O'Hearn，P.W.，《资源、并发和局部推理》，Theoret。计算。科学。，375, 1-3, 271-307 (2007) ·兹比尔1111.68023
[10] O'Hearn，P.W。；雷诺兹，J.C。；Yang，H.，关于改变数据结构的程序的局部推理，（Fribourg，L.，CSL。CSL，LNCS，vol.2142（2001），Springer），1-19·Zbl 0999.68045号
[11] Pratt，V.R.，并行过程的pomset模型：统一时间和空间，（Brookes，S.D.；Roscoe，A.W.；Winskel，G.，并发研讨会。并发研讨会，LNCS，第197卷（1984），Springer），180-196·Zbl 0589.68025号
[12] Pym，D.J。；O'Hearn，P.W。；Yang，H.，《可能的世界与资源：BI的语义》，Theoret。计算。科学。，315, 1, 257-305 (2004) ·Zbl 1055.03021号
[13] Pym，D.J。；Tofts，C.M.N.，《资源和过程的微积分和逻辑》，形式Asp。计算。，18, 4, 495-517 (2006) ·Zbl 1111.68086号
[14] Reynolds，J.C.，《分离逻辑：共享可变数据结构的逻辑》，（LICS（2002），IEEE计算机学会），55-74
[15] Roscoe，A.W.，《并发理论与实践》（1998），Prentice Hall
[16] Winskel，G.，《事件结构》，（Brauer，W.；Reisig，W.，Rozenberg，G.《Petri网的进展》，Petri网进展，LNCS，第255卷（1986），Springer），325-392·Zbl 0626.68022号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。