佛朗哥·巴巴内拉;伊万·拉内斯;埃米利奥·托斯托 同步通信系统的组成。 (英语) Zbl 07741956号 J.日志。阿尔盖布。方法计划。 135,文章ID 100890,33 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}等人,J.Log。阿尔盖布。方法计划。135,文章ID 100890,33 p.(2023;Zbl 07741956) 全文: 内政部
亚当·比约恩达尔 不确定性的认识论。 (英语) Zbl 1516.03008号 J.逻辑语言信息。 31,4号,619-644(2022).MSC公司:03B42号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Bjorndahl},J.Logic Lang.Inf.31,No.4,619--644(2022年;Zbl 1516.03008) 全文: 内政部 arXiv公司
Dan R.吉卡。;库洛德·阿利亚亚 使用LSTM对游戏模型进行潜在语义分析。 (英语) Zbl 1423.68086号 J.日志。阿尔盖布。方法计划。 106, 39-54 (2019).MSC公司:68甲15 68问题55 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Ghica}和\textit{K.Alyahya},J.Log。阿尔盖布。方法计划。106,39-54(2019年;兹bl 1423.68086) 全文: 内政部 链接
亲爱的,丹尼斯;乌尔里希·汉内曼;马丁·斯特芬 Willem-Paul de Roever的参考书目。 (英语) Zbl 1274.01075号 Dennis Dams(编辑)等人,《并发性、组合性和正确性》。为纪念威廉·保尔·德罗弗而写的论文。柏林:施普林格出版社(ISBN 978-3-642-11511-0/pbk)。计算机科学课堂讲稿5930,1-9(2010)。MSC公司:01A70号 2003年8月 68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Dams}等人,Lect。注释计算。科学。5930,1-9(2010;Zbl 1274.01075) 全文: 内政部
彼得·本特利。 系统计算:具有自然特性的交互系统模型。 (英语) Zbl 1113.68052号 国际J.并行紧急分散系统。 22,编号2103-121(2007).MSC公司:第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{P.J.Bentley},国际J.并行紧急配送系统。22,No.2,103--121(2007;Zbl 1113.68052) 全文: 内政部
Majster-Cederbaum,M.E.(医学博士)。;Zetzsche,F。 基于cpo的语义与基于cms的\(CSP\)语义的比较。 (英语) Zbl 0795.68125号 西奥。计算。科学。 124,第1期,第1-40页(1994年).MSC公司:68问题55 06B35号 54E50型 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Majster-Cederbaum}和\textit{F.Zetzsche},Theor。计算。科学。124,第1号,1--40(1994;Zbl 0795.68125) 全文: 内政部
米拉·塞德尔巴姆少校。;Zetzsche,F。 为完整度量空间中的语义奠定基础。 (英语) Zbl 0773.68050号 Inf.计算。 90,第2期,217-243(1991).MSC公司:68问题55 第68季度10 54E50型 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Majster-Cederbaum}和\textit{F.Zetzsche},Inf.Compute。90,第2号,217--243(1991;Zbl 0773.68050) 全文: 内政部
格查斯、卡斯蒂斯 分布式程序的组合证明系统。 (英语) Zbl 1412.68038号 巴兹迪ṇJánis(编辑)等人,波罗的海计算机科学。精选论文。柏林等:Springer-Verlag。莱克特。注释计算。科学。502, 478-503 (1991).MSC公司:68号30 第68季度10 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.Gečas},莱克特。注释计算。科学。502478--503(1991年;Zbl 1412.68038) 全文: 内政部
Joost N.角。;简·J·M·M·鲁顿。 比较并发语义时的收缩。 (英语) Zbl 0707.68054号 西奥。计算。科学。 76,编号2-3,179-222(1990).MSC公司:68问题55 68甲15 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Kok}和\textit{J.J.M.M.Rutten},Theor。计算。科学。76,编号2--3,179-222(1990;Zbl 0707.68054) 全文: 内政部
梅耶,J.-J.C。;德文克,E.P。 递归“真正”并发的步骤语义。 (英语) Zbl 0703.68073号 分布计算。 第3期,第130-145页(1989年).MSC公司:68问题55 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{J.J.C.Meyer}和\textit{E.P.de Vink},分布计算。3,编号3,130--145(1989;Zbl 0703.68073) 全文: 内政部
德克·托布纳;沃尔特·福格勒 步骤失败语义和完整的证明系统。 (英语) Zbl 0689.68105号 学报信息。 第2期第27页,第125-156页(1989年).MSC公司:68问题55 68问题65 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{D.Taubner}和\textit{W.Vogler},《学报》第27期,第2期,第125-156页(1989年;Zbl 0689.68105) 全文: 内政部
米拉·塞德尔巴姆少校。 收缩性质足以保证一类完备度量空间内函子不动点的唯一性。 (英语) Zbl 0677.18004号 信息处理。莱特。 第33页,第1期,第15-19页(1989年).MSC公司:18B30型 60年第68季度 54H25个 54E35个 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Majster-Cederbaum},Inf.过程。莱特。33,编号1,15--19(1989;Zbl 0677.18004) 全文: 内政部
米拉·塞德尔巴姆少校。 关于一类完备度量空间中内函子不动点的唯一性。 (英语) Zbl 0664.54017号 信息处理。莱特。 29,第6号,277-281(1988).MSC公司:54E50型 54H25个 68问题55 54B30型 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Majster-Cederbaum},Inf.过程。莱特。29,第6号,277--281(1988;Zbl 0664.54017) 全文: 内政部 链接
德巴克,J.W。;梅耶,J.-J.Ch。;E.-R.奥尔德罗。;朱克,J.I。 统一并发语义中的转换系统、度量空间和就绪集。 (英语) Zbl 0652.68028号 J.计算。系统。科学。 36,第2期,158-224(1988). 审核人:J.-J.Ch.梅耶 MSC公司:99年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.W.De Bakker}等人,J.Compute。系统。科学。36,第2号,158--224(1988;Zbl 0652.68028) 全文: 内政部 链接
朱利亚诺·帕西尼;佛朗哥·都灵 生产系统的语义。 (英语) Zbl 0656.68025号 Inf.计算。 73, 87-101 (1987).MSC公司:60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Pacini}和\textit{F.Turini},Inf.Comput。73、87--101(1987;Zbl 0656.68025) 全文: 内政部
大卫·佩勒 并发动态逻辑中的通信。 (英语) Zbl 0632.68032号 J.计算。系统。科学。 35, 23-58 (1987). 审核人:L.布里姆 MSC公司:68问题65 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Peleg},J.计算。系统。科学。35、23-58(1987年;Zbl 0632.68032) 全文: 内政部
德·巴克尔,J.W。;梅耶,J.-J.Ch。;E.-R.奥尔德罗。 一致并发语义中的无限流和有限观察。 (英语) Zbl 0623.68016号 西奥。计算。科学。 49, 87-112 (1987).MSC公司:60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker}等人,Theor。计算。科学。49、87——112(1987年;Zbl 0623.68016) 全文: 内政部 链接
梅耶,J.-J.Ch。 用不动点理论合并正则过程。 (英语) Zbl 0602.68025号 西奥。计算。科学。 193-260年(1986年).MSC公司:68N25号 68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Ch.Meyer},Theor。计算。科学。45、193--260(1986年;Zbl 0602.68025) 全文: 内政部
E.-R.奥尔德罗。;你好,托尼 通信过程的面向规范的语义。 (英语) Zbl 0569.68019号 学报信息。 1986年9月23日至66日.MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.R.Olderog}和\textit{T.Hoare},《学报年鉴》23,9--66(1986;Zbl 0569.68019) 全文: 内政部
丹尼尔·贝里(Daniel M.Berry)。 共享内存并行性和不确定性的指称语义。 (英语) Zbl 0537.68030号 学报信息。 21, 599-627 (1985).MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Berry},《信息学报》21,599--627(1985;Zbl 0537.68030) 全文: 内政部
Nepejvoda,N.N。 算法语言的语义。 (英语) Zbl 0554.68006号 J.索夫。数学。 25, 1558-1606 (1984).MSC公司:68-02 60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{N.N.Nepejvoda},J.Sov。数学。251558--1606(1984年;Zbl 0554.68006) 全文: 内政部
北卡罗来纳州Soundararajan。 CSP的表示语义。 (英语) Zbl 0552.68021号 西奥。计算。科学。 33, 279-304 (1984).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{N.Soundararajan},Theor(西奥)。计算。科学。33、279--304(1984年;Zbl 0552.68021) 全文: 内政部
北弗朗西兹。;D.莱曼。;A.普努利。 分布式编程语言的线性历史语义。 (英语) Zbl 0543.68019号 西奥。计算。科学。 32, 25-46 (1984).MSC公司:68N25号 68号01 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez}等人,Theor。计算。科学。32,25-46(1984年;兹bl 0543.68019) 全文: 内政部
塞拉·埃尔拉德;尼西姆·弗朗西兹 用于通信进程的最弱前提语义。 (英语) 兹伯利0532.68035 西奥。计算。科学。 29, 231-250 (1984).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{T.Elrad}和\textit{N.Francez},Theor。计算。科学。29、231--250(1984年;Zbl 0532.68035) 全文: 内政部
R·德·尼古拉。;轩尼诗,M.C.B。 测试过程的等效性。 (英语) Zbl 0985.68518号 西奥。计算。科学。 34,编号1-2,83-133(1984).MSC公司:68问题55 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}和\textit{M.C.B.Hennessy},Theor。计算。科学。34、83--133(1984年;Zbl 0985.68518) 全文: 内政部
背面,R.J.R。 无界不确定性的连续语义。 (英语) Zbl 0498.68005号 西奥。计算。科学。 23, 187-210 (1983).MSC公司:68号01 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.J.R.后退},Theor。计算。科学。23187--210(1983年;Zbl 0498.68005) 全文: 内政部
大卫·本森。 在Scott-Strachey风格的指称语义中,并行意味着不确定性。 (英语) Zbl 0512.68009号 数学。系统。理论 15, 267-275 (1982).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.B.Benson},数学。系统。理论15,267--275(1982;Zbl 0512.68009) 全文: 内政部