曼弗雷德·布罗伊 通过因果关系和可实现性对并发系统进行规范和验证。 (英语) Zbl 07739130号 西奥。计算。科学。 974,文章ID 114106,61 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \提奥,textit{M.Broy}。计算。科学。974,文章ID 114106,61 p.(2023;Zbl 07739130) 全文: 内政部
阿曼多·卡斯塔涅达;皮埃尔·弗拉吉奥德;阿米·巴斯;塞尔吉奥·拉杰斯鲍姆;罗伊,马蒂厄;科伦蒂·特拉弗斯 分布式网络算法的拓扑观点。 (英语) Zbl 1464.68438号 西奥。计算。科学。 849121-137(2021).MSC公司:68宽15 68M10个 64岁以下 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Castañeda}等人,Theor。计算。科学。849121-137(2021年;Zbl 1464.68438) 全文: 内政部
伊斯兰,马里兰州Ariful;兰斯·克莱维兰;弗拉维奥·芬顿。;拉杜·格罗苏;保罗·琼斯。;斯科特·斯莫尔卡。 心脏交替多参数分岔分析的概率可达性。 (英语) Zbl 1427.92054号 西奥。计算。科学。 765, 158-169 (2019).MSC公司:92 C55 34C23型 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{Md.A.Islam}等人,Theor。计算。科学。765158-169(2019年;Zbl 1427.92054) 全文: 内政部
彼得·库兹涅佐夫;萨提亚·佩里 事务内存中的无干扰和本地正确性。 (英语) Zbl 1371.68052号 西奥。计算。科学。 688103-116(2017).MSC公司:68号30 64岁以下 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Kuznetsov}和\textit{S.Peri},Theor。计算。科学。688103-116(2017;Zbl 1371.68052) 全文: 内政部
卡琳·阿尔蒂森;圣埃芬·德维斯梅斯 关于概率snap稳定。 (英语) Zbl 1371.68031号 西奥。计算。科学。 688, 49-76 (2017).MSC公司:64岁以下 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{K.Altisen}和\textit{S.Devismes},Theor。计算。科学。688、49-76(2017年;Zbl 1371.68031) 全文: 内政部
乌里·亚伯拉罕;加尔阿姆拉姆 两进程同步。 (英语) Zbl 1371.68030号 西奥。计算。科学。 688, 2-23 (2017).MSC公司:64岁以下 65年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{U.Abraham}和\textit{G.Amram},Theor。计算。科学。688,2-23(2017年;兹bl 1371.68030) 全文: 内政部
何塞·费亚代罗。;安托尼亚州洛佩斯 定时系统的异构和异步网络。 (英语) Zbl 1356.68153号 西奥。计算。科学。 663, 1-33 (2017).MSC公司:68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Fiadeiro}和\textit{A.Lopes},Theor。计算。科学。663,1-33(2017;Zbl 1356.68153) 全文: 内政部 链接
贾森·雅斯科尔卡;赫德里,里达 根据对通信潜力的分析缓解隐蔽通道。 (英语) Zbl 1348.68164号 西奥。计算。科学。 643, 1-37 (2016).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Jaskolka}和\textit{R.Khedri},Theor。计算。科学。643,1--37(2016;Zbl 1348.68164) 全文: 内政部
伊娃·M·纳瓦罗·洛佩斯。;卡特、丽贝卡 在混合动力系统中,deadeaness和如何反驳liveness。 (英语) Zbl 1345.68215号 西奥。计算。科学。 642, 1-23 (2016).MSC公司:65年第68季度 60年第68季度 93立方 93D05型 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Navarro-López}和\textit{R.Carter},Theor。计算。科学。642,1--23(2016;Zbl 1345.68215) 全文: 内政部
伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;Jean-Bernard斯特凡尼 高阶(pi)演算中的可逆性。 (英语) Zbl 1338.68078号 西奥。计算。科学。 625, 25-84 (2016).MSC公司:2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}等人,Theor。计算。科学。625、25-84(2016年;Zbl 1338.68078) 全文: 内政部 哈尔
JoséLuiz Fiadeiro;安托尼亚州洛佩斯 面向服务设计的接口理论。 (英语) Zbl 1360.68631号 西奥。计算。科学。 503,1-30(2013).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Fiadeiro}和\textit{A.Lopes},Theor。计算。科学。503、1--30(2013年;Zbl 1360.68631) 全文: 内政部
彼得·罗宾逊;乌尔里希·施密德 异步有界循环模型。 (英语) Zbl 1223.68021号 西奥。计算。科学。 412,第40号,5580-5601(2011).MSC公司:64岁以下 68米15 PDF格式BibTeX公司 XML格式引用 \textit{P.Robinson}和\textit{U.Schmid},Theor。计算。科学。412,第40号,5580--5601(2011;Zbl 1223.68021) 全文: 内政部
刘晓军;爱德华·A·李。 定时交互参与者网络的CPO语义。 (英语) Zbl 1157.68046号 西奥。计算。科学。 409,第1号,110-125(2008).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{X.Liu}和\textit{E.A.Lee},Theor。计算。科学。409,编号1,110-125(2008;Zbl 1157.68046) 全文: 内政部
弗兰克·聂纳;乌尔里希·尼切 确定性正则活性特性的完整表征。 (英语) 兹比尔1143.68045 西奥。计算。科学。 387,第2期,187-195(2007).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Nießner}和\textit{U.Ultes-Nitsche},Theor。计算。科学。387,第2号,187--195(2007;Zbl 1143.68045) 全文: 内政部
罗伯托·贾科巴齐;伊莎贝拉·马斯特罗埃尼 通过抽象解释转换语义。 (英语) Zbl 1080.68061号 西奥。计算。科学。 337,编号1-3,1-50(2005). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:68问题55 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{R.Giacobazzi}和\textit{I.Mastroeni},Theor。计算。科学。337,编号1--3,1--50(2005;Zbl 1080.68061) 全文: 内政部
马丁·卡普斯;弗兰克·聂纳 DFA以不同的可靠性水平简洁地表示语言。 (英语) Zbl 1078.68089号 西奥。计算。科学。 330,第2期,299-310(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kappes}和\textit{F.Nießner},Theor。计算。科学。330,第2号,299--310(2005;Zbl 1078.68089) 全文: 内政部
哈娜·乔克勒;奥尔纳·库普弗曼 \(\omega\)-正则语言可以通过恒定数量的查询进行测试。 (英语) Zbl 1086.68071号 西奥。计算。科学。 329,编号1-3,71-92(2004).MSC公司:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{H.Chockler}和\textit{O.Kupferman},Theor。计算。科学。329,编号1--3,71-92(2004;Zbl 1086.68071) 全文: 内政部
de la Higuera,C。;Janodet,J.C。 从前缀推断\(\omega \)-语言。 (英语) Zbl 1069.68071号 西奥。计算。科学。 313,第2期,295-312(2004).MSC公司:65年第68季度 第68季度32 PDF格式BibTeX公司 XML格式引用 \textit{C.de la Higuera}和\textit{J.C.Janodet},Theor。计算。科学。313,第2号,295--312(2004;Zbl 1069.68071) 全文: 内政部
刘志明;马泰·约瑟夫 实时程序的验证、优化和调度。 (英语) Zbl 0954.68099号 西奥。计算。科学。 253,第1期,119-152(2001).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Liu}和\textit{M.Joseph},Theor。计算。科学。253,第1号,119--152(2001;Zbl 0954.68099) 全文: 内政部
莱斯利·兰波特 证明可能性属性。 (英语) Zbl 0909.68038号 西奥。计算。科学。 206,编号1-2341-352(1998).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \文本{L.Lamport},Theor。计算。科学。206,编号1--2,341--352(1998;Zbl 0909.68038) 全文: 内政部
苏建文 动态约束和对象迁移。 (英语) Zbl 0901.68044号 西奥。计算。科学。 184,第1-2期,195-236(1997).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \文本{J.Su},Theor。计算。科学。184,编号1--2,195-236(1997;Zbl 0901.68044) 全文: 内政部
Jonsson,孟加拉人;Tsay,Yih-Kuen先生 线性时间时序逻辑中的假设/保证规范。 (英语) Zbl 0874.68210号 西奥。计算。科学。 167,第1-2号,47-72(1996).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Jonsson}和\textit{Y.-K.Tsay},Theor。计算。科学。167,编号1--2,47-72(1996;Zbl 0874.68210) 全文: 内政部 链接
罗马克里希纳,Y.S。;梅利亚·史密斯,P.M。;莫瑟,L.E。;狄龙,L.K。;G.库蒂。 区间逻辑及其决策过程。一: 区间逻辑。 (英语) Zbl 0872.03019号 西奥。计算。科学。 166,第1-2、1-47号(1996年).MSC公司:03B80号 2010年第68季度 03B25号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{Y.S.Ramakrishna}等人,Theor。计算。科学。166,编号1--2,1-47(1996;Zbl 0872.03019) 全文: 内政部
亚辛·拉赫内切;乔泽夫·胡曼 带持续时间的度量时态逻辑。 (英语) Zbl 0874.68270号 西奥。计算。科学。 138,第1号,169-199(1995).MSC公司:第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Lakhneche}和\textit{J.Hooman},Theor。计算。科学。138,第1号,169--199(1995;Zbl 0874.68270) 全文: 内政部
凯伦·塞德尔 概率通信过程。 (英语) Zbl 0872.68111号 西奥。计算。科学。 152,第2期,219-249(1995).MSC公司:60年第68季度 2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \文本{K.塞德尔},Theor。计算。科学。152,No.2,219--249(1995;Zbl 0872.68111) 全文: 内政部
马丁·阿巴迪;莱斯利·兰波特 精化映射的存在。 (英语) Zbl 0728.68083号 西奥。计算。科学。 82,第2期,253-284(1991). 审核人:M.K(布尔诺) MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{L.Lamport},Theor。计算。科学。82,No.2,253--284(1991;Zbl 0728.68083) 全文: 内政部
曼娜,佐哈尔;阿米尔·普努利 完成时间画面。 (英语) Zbl 0795.68133号 西奥。计算。科学。 83,第1期,97-130(1991).MSC公司:60年第68季度 2010年第68季度 03B70号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{A.Pnueli},Theor。计算。科学。83,第1号,97--130(1991;Zbl 0795.68133) 全文: 内政部
奥尔德罗格(Ernst-Rüdiger Olderog) 并发进程的正确性。 (英语) Zbl 0745.68045号 西奥。计算。科学。 80,第2期,263-288(1991).MSC公司:2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog},Theor(西奥)。计算。科学。80,第2号,263--288(1991;Zbl 0745.68045) 全文: 内政部
安东尼·马祖基维奇;爱德华·奥赫曼斯基;沃伊切赫·彭泽克 并发系统和必然性。 (英语) Zbl 0675.68015号 西奥。计算。科学。 64,第3期,281-304(1989). 审核人:A.Maggiolo-Schettini公司 MSC公司:68N25号 2005年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Mazurkiewicz}等人,Theor。计算。科学。64,第3281-304号(1989年;Zbl 0675.68015) 全文: 内政部
尤金·斯塔克。 证明概念状态规范之间的隐含关系。 (英语) Zbl 0632.68026号 西奥。计算。科学。 56,第1期,135-154(1988).MSC公司:68N25号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{E.W.Stark},Theor。计算。科学。56,编号1,135--154(1988;Zbl 0632.68026) 全文: 内政部