曼娜,佐哈尔;皮埃尔·沃尔珀 从时序逻辑规范合成通信过程。 (英语) Zbl 0522.68030号 ACM事务处理。程序。语言系统。 6, 68-93 (1984).MSC公司:68问题85 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{P.Wolper},ACM Trans。程序。语言系统。6、68——93(1984年;Zbl 0522.68030) 全文: 内政部
佐哈尔·曼纳;阿米尔·普努利 证明优先属性:时间方式。 (英语) Zbl 0528.68008号 《自动化、语言和编程》,第十届Colloq.,巴塞罗那/西班牙,1983年,Lect。注释计算。科学。154, 491-512 (1983).MSC公司:60年第68季度 03B45号 68问题65 PDF格式BibTeX公司 XML格式
路易斯·法里纳斯 空间就是时间。 (英语) Zbl 0526.68035号 Inf.流程。莱特。 17, 113-115 (1983).MSC公司:68问题65 03B45号 68号01 PDF格式BibTeX公司 XML格式引用 \textit{L.Farinas},Inf.过程。莱特。17、113--115(1983年;Zbl 0526.68035) 全文: 内政部
阿普特,克日什托夫R。;卡罗尔·德尔波特 使用时态逻辑对间歇断言方法进行公理化(扩展抽象)。 (英语) Zbl 0522.68035号 《自动化、语言和编程》,第十届Colloq.,巴塞罗那/西班牙,1983年,Lect。注释计算。科学。154, 15-27 (1983).MSC公司:68问题65 68号01 03B60号 PDF格式BibTeX公司 XML格式
詹姆斯·F·艾伦。 保持对时间间隔的了解。 (英语) Zbl 0519.68079号 Commun公司。ACM公司 26, 832-843 (1983).MSC公司:68吨15 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Allen},Commun(科蒙)。ACM 26,832--843(1983;Zbl 0519.68079) 全文: 内政部 链接
约翰·雷夫;阿拉文达·普拉萨德·西斯特拉 具有时间和空间模式的多进程网络逻辑。 (英语) Zbl 0519.68049号 《自动化、语言和编程》,第十届Colloq.,巴塞罗那/西班牙,1983年,Lect。注释计算。科学。154, 629-639 (1983).MSC公司:68问题65 03B45号 68N25号 68号01 65年第68季度 PDF格式BibTeX公司 XML格式
拉梅什,S。;Mehndiratta,S.L。 空中垃圾收集器的寿命特性——一个证明。 (英语) Zbl 0519.68039号 Inf.流程。莱特。 17, 189-195 (1983).MSC公司:第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ramesh}和\textit{S.L.Mehndirata},Inf.过程。莱特。17、189--195(1983年;Zbl 0519.68039) 全文: 内政部
Krithivasan Rammritham;罗伯特·M·凯勒。 同步过程规范。 (英语) Zbl 0519.68029号 IEEE传输。软件工程。 9, 722-733 (1983).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{K.Ramamritham}和\textit{R.M.Keller},IEEE Trans。柔和。工程9,722--733(1983;Zbl 0519.68029) 全文: 内政部
莱斯利·兰波特 指定并发程序模块。 (英语) Zbl 0516.68010号 ACM事务处理。程序。语言系统。 5, 190-222 (1983).MSC公司:68号01 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{L.Lamport},ACM事务处理。程序。语言系统。5190-222(1983年;Zbl 0516.68010) 全文: 内政部
詹姆斯·克利福德;大卫·沃伦。 数据库中时间的形式语义。 (英语) Zbl 0509.68115号 ACM事务处理。数据库系统。 8, 213-254 (1983).MSC公司:68第20页 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.Clifford}和\textit{D.S.Warren},ACM Trans。数据库系统。8213-254(1983年;Zbl 0509.68115) 全文: 内政部 链接
佐哈尔·曼纳;阿米尔·普努利 并发程序的验证:时间证明系统。 (英语) Zbl 0507.68005号 计算机科学基础IV.分布式系统。第2部分:语义和逻辑,数学。美分。第159、163-255卷(1983年)。MSC公司:60年第68季度 03B45号 PDF格式BibTeX公司 XML格式
奎尔,J.P。;J.西法基斯。 过渡系统中的公平性和相关属性——处理公平的时序逻辑。 (英语) Zbl 0489.68024号 Acta信息。 19, 195-220 (1983).MSC公司:第68季度第65季度 03B45号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Queille}和\textit{J.Sifakis},《学报》第19期,195-220页(1983年;Zbl 0489.68024) 全文: 内政部
丹尼尔·莱曼;萨拉、撒哈拉 用时间和机会推理。 (英语) Zbl 0523.03016号 Inf.控制 53, 165-198 (1982).MSC公司:03B45号 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{D.Lehmann}和\textit{S.Shelah},Inf.Control 53,165--198(1982;Zbl 0523.03016) 全文: 内政部
佐哈尔·曼纳 顺序程序的验证:时间公理化。 (英语) Zbl 0521.68019号 规划方法的理论基础,Lect。夏季课程注释。,Marktoberdorf/德国。1981年,北约高级研究所。,C、 数学。物理学。科学。91, 53-102 (1982).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式
艾默生·E·艾伦;埃德蒙·克拉克(Edmund M.Clarke)。 使用分支时间时序逻辑合成同步骨架。 (英语) Zbl 0514.68032号 科学。计算。程序。 2421-266(1982年).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Emerson}和\textit{E.M.Clarke},科学。计算。程序。2421-266(1982年;兹bl 0514.68032) 全文: 内政部
埃瓦州奥洛斯卡 时间信息的表示。 (英语) Zbl 0513.03017号 国际期刊计算。通知。科学。 11, 397-408 (1982).MSC公司:03C99号 03B45号 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{E.Orlowska},国际计算机杂志。通知。科学。11、397--408(1982;Zbl 0513.03017) 全文: 内政部
玛丽亚·诺瓦科夫斯卡 知识和诱发的主观时间系统。 (英语) Zbl 0508.03013号 数学为人服务。第二届世界博览会,拉斯帕尔马斯/西班牙,1982,531-537(1982)。MSC公司:03B99号 03B45号 PDF格式BibTeX公司 XML格式
路易斯·法里纳斯·德尔·塞罗 Les modalites de la更正总计。 (法语) Zbl 0506.03004号 RAIRO,Inf.Théor公司。 16349-363(1982年).MSC公司:03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{L.Farinas del Cerro},RAIRO,Inf.Théor公司。16、349--363(1982;Zbl 0506.03004) 全文: 欧洲DML
大卫·哈雷尔;德克斯特·科赞;罗希特·帕里赫 过程逻辑:表达性、可决定性、完整性。 (英语) Zbl 0494.03016号 J.计算。系统。科学。 25, 144-170 (1982).MSC公司:03B45号 68问题65 68号01 PDF格式BibTeX公司 XML格式引用 \textit{D.Harel}等人,J.Compute。系统。科学。25144--170(1982;Zbl 0494.03016) 全文: 内政部
佐哈尔·曼纳;皮埃尔·沃尔珀 从时序逻辑规范合成通信过程。 (英语) Zbl 0487.68027号 项目逻辑,约克敦高地/纽约1981年研讨会,Lect。注释计算。科学。131, 253-281 (1982).MSC公司:第68季度第65季度 68号01 03B60号 PDF格式BibTeX公司 XML格式
莱斯利·兰波特 时间表。一种关于程序的时间推理的新方法。 (英语) Zbl 0485.68031号 项目逻辑,约克敦高地/纽约1981年研讨会,Lect。注释计算。科学。131, 177-196 (1982).MSC公司:68问题65 60年第68季度 PDF格式BibTeX公司 XML格式
苏珊·奥维基;莱斯利·兰波特 证明并发程序的活性属性。 (英语) Zbl 0483.68013号 ACM事务处理。程序。语言系统。 4, 455-495 (1982).MSC公司:60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{S.Owicki}和\textit{L.Lamport},ACM Trans。程序。语言系统。4455-495(1982年;Zbl 0483.68013) 全文: 内政部
雷蒙德·甘姆。 对一致进化理论概念的解释。 (英语) Zbl 0482.03001号 逻辑分析。,努夫。Sér。 24, 113-127 (1981).MSC公司:03A05号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.D.Gumb},日志。分析。,努夫。Sér。24、113--127(1981年;Zbl 0482.03001)
沃伊切赫·普尔兹卢斯基 APC:算法谓词演算。 (英语) 兹伯利0477.68033 安.社会.数学。政策。,序列号。IV、 芬达姆。信息。 4, 343-367 (1981).MSC公司:68问题65 68号01 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{W.Przyluski},Ann.社会数学。政策。,序列号。IV、 芬达姆。Inf.4,343--367(1981;Zbl 0477.68033)
博伊尔,R.S。(编辑);J.Strother摩尔(编辑) [Dijkstra,E.W。;R.M.伯斯托尔。;J.A.戈根。;Z.曼纳。;A.普努利。] 计算机科学中的正确性问题。 (英语) Zbl 0476.68009号 计算机科学国际系列讲座。伦敦等:学术出版社,Harcourt Brace Jovanovich出版社的子公司。十三、 279页14.20英镑;$29.50 (1981).MSC公司:68-02 60年第68季度 68号01 PDF格式BibTeX公司 XML格式
范·本特姆,J.F.A.K。 时态逻辑、二阶逻辑和自然语言。 (英语) Zbl 0476.03029号 哲学逻辑的各个方面,综合。伦敦银行同业拆借利率。147, 1-20 (1981).MSC公司:03B45号 03A05号 03B65号 03B15号机组 PDF格式BibTeX公司 XML格式
Hiroya Kawai 用于并行计算的演绎系统LPC。 (英语) Zbl 0469.68036号 数学。日本。 26, 275-285 (1981).MSC公司:第68页第25页 68号01 03B45号 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.Kawai},数学。日本。26275--285(1981年;Zbl 0469.68036)
戴维·梅金森 强全时模态逻辑中一个变量中的非等价公式。 (英语) Zbl 0467.03012号 Z.数学。Logik Grundlagen数学。 27, 111-112 (1981).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Makinson},Z.数学。Logik Grundlagen数学。27111-112(1981年;Zbl 0467.03012) 全文: 内政部
塞尔吉奥·贝尔尼尼 模态语义的时间化。 (英语) Zbl 0451.03008号 《意大利科学哲学研究》,波士顿哲学研究所。科学。,第47卷,第49-58页(1981年)。MSC公司:03B45号 03A05号 PDF格式BibTeX公司 XML格式
阿米尔·普努利 并发程序的时间语义。 (英语) Zbl 0441.68010号 西奥。计算。科学。 13, 45-60 (1981).MSC公司:60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式引用 \文本{A.Pnueli},Theor。计算。科学。13、45-60(1981年;Zbl 0441.68010) 全文: 内政部
Hiroya Kawai 离散时间和空间中并行程序的一种形式化系统。 (英语) Zbl 0469.68040号 Inf.流程。莱特。 11, 204-210 (1980).MSC公司:68问题65 60年第68季度 03B45号 68号01 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{H.Kawai},Inf.过程。莱特。11、204-210(1980;Zbl 0469.68040) 全文: 内政部
伊加尔克瓦尔特 时间逻辑和反事实的形式语义。 (英语) Zbl 0448.03005号 逻辑分析。,努夫。Sér。 23, 35-62 (1980).MSC公司:03A05号 PDF格式BibTeX公司 XML格式引用 \textit{I.Kvart},日志。分析。,努夫。Sér。23、35-62(1980;Zbl 0448.03005)
阿米尔卡·瑟纳达斯 逻辑过程定义的时间方面。 (英语) Zbl 0444.68084号 信息系统。 167-187年5月(1980年).MSC公司:68第20页 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Sernadas},信息系统。5167--187(1980;Zbl 0444.68084) 全文: 内政部
Hirokazu西村 描述完整的流程逻辑。 (英语) Zbl 0423.68005号 Acta信息。 14, 359-369 (1980).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{西村H.Nishimura},Acta Inf.14,359--369(1980;Zbl 0423.68005) 全文: 内政部
莱斯利·兰波特 并发程序的“Hoare逻辑”。 (英语) Zbl 0416.68032号 Acta信息。 14, 21-37 (1980).MSC公司:68问题65 60年第68季度 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{L.Lamport},Acta Inf.14,21--37(1980;Zbl 0416.68032) 全文: 内政部
M.J.怀特。 S5 Diodorean模态系统。 (英语) Zbl 0444.03009号 逻辑分析。,努夫。Sér。 22, 477-487 (1979).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.怀特},Log。分析。,努夫。Sér。22477--487(1979年;Zbl 0444.03009)
F.根特纳。(编辑);施密特,S.J。(编辑) [辛提卡,J。;卡尔森,L。;R.M.斯马比。;基南,E。;T·莱因哈特。;库珀,R。;克雷斯韦尔,M.J。;弗兰茨·根特纳;阿奎斯特,L。;H·坎普。;福科尼埃,G。;Petöfi,J.S。;豪瑟,R。;扎弗勒,D。;W·金德。] 自然语言的形式语义学和语用学。 (英语) 兹比尔0438.03002 综合语言库, 4. 多德雷赫特-博斯顿-伦敦:D.Reidel出版公司。八、 378 p.hbk:英国国防部。105.00; $ 47.50; pbk:Dfl。45.00; $ 19.50 (1979).MSC公司:03A05号 03-06 00亿Bxx PDF格式BibTeX公司 XML格式
阿米尔·普努利 并发程序的时间语义。 (英语) Zbl 0402.68009号 并发计算语义。内部Symp。,埃维昂/法国1979年,Lect。注释计算。科学。70, 1-20 (1979).MSC公司:60年第68季度 68N25号 68问题65 PDF格式BibTeX公司 XML格式
托比亚斯·查普曼 具有时间变量的模态逻辑。 (英语) Zbl 0271.02019号 圣母院J.形式逻辑 19, 558-578 (1978).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{T.Chapman},圣母院J.形式逻辑19,558--578(1978;Zbl 0271.02019) 全文: 内政部
新墨西哥州埃尔莫拉耶娃。;穆奇尼克,A.A。 模态逻辑,由分配格的自同态定义。 (俄语) Zbl 0403.03013号 《集合论与非经典逻辑研究》,工作集。,莫斯科,229-246(1976)。MSC公司:03B45号 03G10年 05年6月 PDF格式BibTeX公司 XML格式