马可·贝尔纳多;罗伯托·戈里埃里 对“EMPA教程:具有不确定性、优先级、概率和时间的并发过程理论”的更正。 (英语) Zbl 0973.68179号 西奥。计算。科学。 254,编号1-2,691-694(2001).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}和\textit{R.Gorrieri},Theor。计算。科学。254,编号1--2,691--694(2001;Zbl 0973.68179) 全文: DOI程序
M.莱文。;Loizou,G。 确保函数依赖项和树状包含依赖项之间没有交互。 (英语) Zbl 0974.68044号 西奥。计算。科学。 254,编号1-2,683-690(2001).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Levene}和\textit{G.Loizou},Theor。计算。科学。254,编号1--2,683--690(2001;Zbl 0974.68044) 全文: DOI程序
普罗布斯特,D。;T·斯图德。 如何使杰伊正常化。 (英语) Zbl 0974.68076号 西奥。计算。科学。 254,第1-2号,677-681(2001).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Probst}和\textit{T.Studer},Theor。计算。科学。254,编号1--2,677--681(2001;Zbl 0974.68076) 全文: DOI程序
Rondogiannis,P。 时序逻辑编程和循环和测试中的分层否定。 (英语) Zbl 0974.68028号 西奥。计算。科学。 254,编号1-2,663-676(2001).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \文本{P.Rondogiannis},Theor。计算。科学。254,第1-2663-676号(2001年;兹bl 0974.68028) 全文: DOI程序
Spruit,P.公司。;R·威林加。;梅耶,J.-J。 定期更新数据库逻辑。 (英语) 兹伯利0974.68046 西奥。计算。科学。 254,编号1-2591-661(2001).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{P.Spruit}等人,Theor。计算。科学。254,编号1--2,591--661(2001;Zbl 0974.68046) 全文: DOI程序
B.汤姆森。;艾布拉姆斯基,S。 高阶通信系统演算的一种完全抽象的指称语义。 (英语) Zbl 0974.68109号 西奥。计算。科学。 254,编号1-2,557-589(2001).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{B.Thomsen}和\textit{S.Abramsky},Theor。计算。科学。254,编号1--2,557--589(2001;Zbl 0974.68109) 全文: DOI程序
弗里亚斯,M.F。;马杜克斯,R.D。 程序方案的关系演算的完备性。 (英语) Zbl 0974.68110号 西奥。计算。科学。 254,编号1-2,543-556(2001).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.F.Frias}和\textit{R.D.Maddux},Theor。计算。科学。254,编号1--2,543--556(2001;Zbl 0974.68110) 全文: DOI程序
J.-P.卡托恩。;拜尔,C。;拉特拉,D。 真正并发实时的度量语义。 (英语) Zbl 0976.68103号 西奥。计算。科学。 254,编号1-2501-542(2001).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Katoen}等人,Theor。计算。科学。254,编号1--2,501-542(2001;Zbl 0976.68103) 全文: DOI程序
萨戈纳斯,K。;T·斯威夫特。;D.S.沃伦。 固定阶计算的极限。 (英语) Zbl 0974.68111号 西奥。计算。科学。 254,第1-2号,465-499(2001).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.Sagonas}等人,Theor。计算。科学。254,编号1--2,465--499(2001;Zbl 0974.68111) 全文: DOI程序
Vandeurzen,L。;M.吉森。;范·古赫特(D.Van Gucht)。 空间数据库线性约束查询语言的表达能力。 (英语) Zbl 0974.68045号 西奥。计算。科学。 254,编号1-2,423-463(2001).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{L.Vandeurzen}等人,Theor。计算。科学。254,编号1-2423-463(2001;兹bl 0974.68045) 全文: DOI程序
詹纳,L。;沃格勒,W。 密集时间内的快速异步系统。 (英语) Zbl 0974.68128号 西奥。计算。科学。 254,第1-2号,379-422(2001).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Jenner}和\textit{W.Vogler},Theor。计算。科学。254,编号1--2,379--422(2001;Zbl 0974.68128) 全文: DOI程序
Van den Bussche,J。 用平面关系代数模拟嵌套关系代数,并应用于计算幂集代数表达式的复杂性。 (英语) Zbl 0974.68047号 西奥。计算。科学。 254,编号1-2,363-377(2001).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{J.Van den Bussche},西奥。计算。科学。254,编号1--2,363--377(2001;Zbl 0974.68047) 全文: DOI程序
X.陈军(Jun Chen)。;R·尼古拉。 树状结构上迹和修饰迹等价的代数刻划。 (英语) Zbl 0974.68093号 西奥。计算。科学。 254,第1-2期,337-361(2001).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Jun Chen}和\textit{R.Nicola},Theor。计算。科学。254,编号1--2,337--361(2001;Zbl 0974.68093) 全文: DOI程序
游击队,S。;A.马西尼。 解析MELL防护网。 (英语) Zbl 0974.68077号 西奥。计算。科学。 254,编号1-2,317-335(2001).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.游击队}和\textit{A.马西尼},提奥。计算。科学。254,编号1-2317-335(2001;兹bl 0974.68077) 全文: DOI程序
R·盖拉乌伊。;A.希珀。 异步分布式系统中的真正原子组播。 (英语) Zbl 0974.68012号 西奥。计算。科学。 254,编号1-2,297-316(2001).MSC公司:64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{R.Guerraoui}和\textit{A.Schiper},Theor。计算。科学。254,编号1--2,297--316(2001;Zbl 0974.68012) 全文: DOI程序
Ruggieri,S。 \(存在)-逻辑程序的通用终止。 (英语) Zbl 0972.68024号 西奥。计算。科学。 254,编号1-2,273-296(2001).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{S.Ruggieri},Theor。计算。科学。254,编号1--2,273--296(2001;Zbl 0972.68024) 全文: DOI程序
拉法利,C。 完整性、最小逻辑和程序提取。 (英语) Zbl 0971.03033号 西奥。计算。科学。 254,编号1-2,259-271(2001).MSC公司:03B70型 60年第68季度 68甲18 03B40型 03B20型 PDF格式BibTeX公司 XML格式引用 \文本{C.Raffalli},Theor。计算。科学。254,编号1--2,259--271(2001;Zbl 0971.03033) 全文: DOI程序
斯普林因特维尔德,J。;Vaandrager,F。;D’Argenio,P.R。 测试定时自动机。 (英语) Zbl 0972.68104号 西奥。计算。科学。 254,编号1-2,225-257(2001).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Springintveld}等人,Theor。计算。科学。254,编号1--2,225-257(2001;Zbl 0972.68104) 全文: DOI程序
拉梅什,R。;罗马克里希南,I.V。;塞卡尔共和国。 自动化驱动的高效子团队统一。 (英语) Zbl 0972.68103号 西奥。计算。科学。 254,第1-2号,187-223(2001).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Ramesh}等人,Theor。计算。科学。254,编号1--2,187-223(2001;Zbl 0972.68103) 全文: DOI程序
特里斯坦·克罗拉德 减法逻辑。 (英语) Zbl 0983.03047号 西奥。计算。科学。 254,编号1-2,151-185(2001). 审核人:保罗·班克斯顿(密尔沃基) MSC公司:03G30型 18日第15天 03B20型 PDF格式BibTeX公司 XML格式引用 \文本{T.Crolard},Theor。计算。科学。254,编号1--2,151-185(2001;Zbl 0983.03047) 全文: DOI程序
重新发送,P。 量子数、有限观测和强互模拟。 (英语) Zbl 0972.68122号 西奥。计算。科学。 254,编号1-295-149(2001).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.重新发送},Theor。计算。科学。254,编号1--2,95-149(2001;Zbl 0972.68122) 全文: DOI程序
莫宁,F。;西蒙诺,M。 基于序数测度的函数终止过程。 (英语) Zbl 0972.68143号 西奥。计算。科学。 254,编号1-2,63-94(2001).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Monin}和\textit{M.Simonot},Theor。计算。科学。254,编号1--2,63-94(2001;Zbl 0972.68143) 全文: DOI程序
Ingólfsdóttir,A。;A.沙尔克。 观测先验的完全抽象指称模型。 (英语) Zbl 0972.68121号 西奥。计算。科学。 254,编号1-2,35-61(2001).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Ingólfsdóttir}和\textit{A.Schalk},Theor。计算。科学。254,编号1--2,35-61(2001;Zbl 0972.68121) 全文: DOI程序
雷卡德,L。;特鲁尔,E。;M.席尔瓦。 多级确定性同步时序过程的结构理论。 (英语) Zbl 0974.68129号 西奥。计算。科学。 254,第1-2、1-33号(2001年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Recalde}等人,Theor。计算。科学。254,编号1--2,1--33(2001;Zbl 0974.68129) 全文: DOI程序