罗布·范格拉贝克 在具有超时的进程代数中建模互斥。 (英语) Zbl 07742410号 Inf.计算。 294,文章ID 105079,第36页(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek},Inf.计算。294,文章ID 105079,36 p.(2023;Zbl 07742410) 全文: 内政部 arXiv公司
冯、袁;李三江 量子程序的抽象解释、霍尔逻辑和不正确逻辑。 (英语) Zbl 07742408号 Inf.计算。 294,文章ID 105077,22 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{Y.Feng}和\textit{S.Li},Inf.Comput。294,文章ID 105077,22 p.(2023;Zbl 07742408) 全文: 内政部 arXiv公司
乌里法伦伯格;克里斯蒂安·约翰森;乔治·斯特鲁斯;Krzysztof,Zimiañski 以接口作为并发模型的Poset。 (英语) Zbl 1515.68204号 Inf.计算。 285,B部分,文章ID 104914,20 p.(2022). 审核人:沃尔夫冈·雷西格(柏林) MSC公司:68问题85 06年06月06日 18立方厘米35 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,《信息计算》。285,B部分,文章ID 104914,20 p.(2022;Zbl 1515.68204) 全文: 内政部 arXiv公司
瑞安·卡瓦纳 会话类型语言的公平性和基于通信的语义。 (英语) Zbl 1504.68030号 Inf.计算。 285,B部分,文章ID 104892,77 p.(2022).MSC公司:68甲15 68甲18 68甲19 68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Kavanagh},信息计算。285,B部分,文章ID 104892,77页(2022;Zbl 1504.68030) 全文: 内政部 arXiv公司
保罗·巴尔丹;丹尼尔·戈拉;托马索·帕多安;伊万诺·萨尔沃 从逻辑上描述事件结构等效谱的特征。 (英语) Zbl 1504.68138号 Inf.计算。 285,B部分,文章ID 104887,25 p.(2022).MSC公司:68问题85 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,《信息计算》。285,B部分,文章ID 104887,25 p.(2022;Zbl 1504.68138) 全文: 内政部
帕里托什·K·潘迪亚。;阿莫尔·瓦坎卡尔 运行时强制屏蔽的规范和最佳反应合成。 (英语) Zbl 1504.68131号 Inf.计算。 285,B部分,文章ID 104865,18 p.(2022).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.K.Pandya}和\textit{A.Wakankar},Inf.Compute。285,B部分,文章ID 104865,18 p.(2022;Zbl 1504.68131) 全文: 内政部 arXiv公司
普洛塔萨,维奥雷尔;尤利亚·德拉戈米尔;斯塔夫罗斯·特里帕基斯 反应系统的精化演算。 (英语) Zbl 1487.68160号 Inf.计算。 285,B部分,文章ID 104819,43 p.(2022).MSC公司:60年第68季度 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{V.Preoteasa}等人,《信息计算》。285,B部分,文章ID 104819,43 p.(2022;Zbl 1487.68160) 全文: 内政部 arXiv公司
佐尔坦,福尔öp;福格勒、海科 加权树语言的主要抽象族。 (英语) Zbl 1526.68005号 Inf.计算。 282,文章ID 104657,33 p.(2022).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Fülöp}和\textit{H.Vogler},Inf.Comput。282,文章ID 104657,33 p.(2022;Zbl 1526.68005) 全文: 内政部
菲利波·邦奇;罗宾·皮埃德鲁;巴布亚州索波辛斯基;法比奥·扎纳西 字符串图操作语义的双代数基础。 (英语) Zbl 1518.68197号 Inf.计算。 281,文章ID 104767,22 p.(2021).MSC公司:第68季度55 18立方厘米 18立方米 68问题85 93B70型 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人,《信息计算》。281,文章ID 104767,22 p.(2021;Zbl 1518.68197) 全文: 内政部
弗朗西斯科·贝拉迪内利;罗德卡·孔杜拉克;柯特林·迪马;沃伊切赫·贾姆罗加;迈克尔·克纳皮克 通过应用三选票投票协议验证战略能力的相互模拟。 (英语) Zbl 1497.68287号 Inf.计算。 276,文章ID 104552,第25页(2021).MSC公司:60年第68季度 03B44号 68T42型 91B12号机组 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}等人,《信息计算》。276,文章ID 104552,25 p.(2021;Zbl 1497.68287) 全文: 内政部 arXiv公司 链接
徐明;邓雨欣 具有时滞的概率规划的有时限终止分析。 (英语) Zbl 1496.68120号 Inf.计算。 275,文章ID 104634,24 p.(2020).MSC公司:68号30 65年第68季度 60年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}和\textit{Y.Deng},Inf.Compute。275,文章ID 104634,24 p.(2020;Zbl 1496.68120) 全文: 内政部
蒋建民;朱慧彪;李,秦;赵永新;张、石;龚萍;洪,钟 基于事件的功能分解。 (英语) Zbl 1435.68062号 Inf.计算。 271,文章ID 104484,22 p.(2020).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Jiang}等人,《信息计算》。271,文章ID 104484,22 p.(2020;Zbl 1435.68062) 全文: 内政部
布里杰什·多戈尔;Robert M.Hierons。 静态一致性及其变化的可决定性和复杂性。 (英语) Zbl 1380.68294号 Inf.计算。 257, 1-21 (2017).MSC公司:68问题85 2017年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol}和\textit{R.M.Hierons},Inf.Comput。257,1--21(2017;Zbl 1380.68294) 全文: 内政部
伯恩德·芬克贝纳;奥尔德罗格(Ernst-Rüdiger Olderog) Petri游戏:具有因果记忆的分布式系统的合成。 (英语) Zbl 1362.68211号 Inf.计算。 253,第2部分,181-203(2017).MSC公司:68问题85 2017年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}和\textit{E.-R.Olderog},Inf.Comput。253,第2部分,181--203(2017年;兹bl 1362.68211) 全文: 内政部 arXiv公司
里扎德·贾尼基;尹、香 使用间隔跟踪对并发进行建模。 (英语) Zbl 1359.68224号 Inf.计算。 253,第1部分,78-108(2017).MSC公司:68问题85 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}和\textit{X.Yin},Inf.Compute。253,第1部分,78--108(2017;Zbl 1359.68224) 全文: 内政部 链接
朱里安·罗特;马塞洛·邦桑格;Rutten,一月 通过创造证明语言的包容性和对等性。 (英语) Zbl 1333.68174号 Inf.计算。 246, 62-76 (2016).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Rot}等人,《信息计算》。24662--76(2016年;Zbl 1333.68174) 全文: 内政部
亚历山德罗·西马蒂;马可·罗维里;斯特凡诺·托内塔 HRELTL:混合系统的时序逻辑。 (英语) 兹比尔1332.68139 Inf.计算。 245, 54-71 (2015).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《信息计算》。245、54-71(2015;Zbl 1332.68139) 全文: 内政部
安蒂·西尔托拉;朱哈Kortelainen 安全性能的多参数成分验证。 (英语) Zbl 1329.68173号 Inf.计算。 244, 23-48 (2015).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Siirtola}和\textit{J.Kortelainen},Inf.Comput。244、23-48(2015年;Zbl 1329.68173) 全文: 内政部
戴维·杰宁 关于标记双根树语言:代数、自动机和逻辑。 (英语) 兹比尔1353.68187 Inf.计算。 243222-248(2015年).MSC公司:70年第68季度 05年3月 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{D.Janin},Inf.计算。243、222--248(2015;Zbl 1353.68187) 全文: 内政部
安德鲁·布莱克。 面向对象编程:一些历史和未来五十年的挑战。 (英语) Zbl 1358.68062号 Inf.计算。 231, 3-20 (2013).MSC公司:68甲19 68-03 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Black},Inf.计算。231、3--20(2013年;Zbl 1358.68062) 全文: 内政部 arXiv公司
巴托克·克林;弗拉迪米罗·萨松 随机和加权转移系统的结构操作语义。 (英语) Zbl 1358.68214号 Inf.计算。 227, 58-83 (2013).MSC公司:68问题85 2010年第68季度 第68季度55 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{B.Klin}和\textit{V.Sassone},Inf.Comput。227、58-83(2013年;Zbl 1358.68214) 全文: 内政部
何塞·德斯哈奈斯;弗朗索瓦·拉维奥莱特;萨米人Zhioua 通过强化学习测试概率等效性。 (英语) Zbl 1358.68187号 Inf.计算。 227, 21-57 (2013).MSC公司:60年第68季度 2010年第68季度 第68季度87 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}等人,信息计算。227、21-57(2013年;Zbl 1358.68187) 全文: 内政部
马尔科·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂 用于建模非确定性、概率性、随机性或混合过程及其行为等效性的统一框架。 (英语) Zbl 1358.68210号 Inf.计算。 225, 29-82 (2013).MSC公司:68问题85 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}等人,《信息计算》。225,29-82(2013;Zbl 1358.68210) 全文: 内政部
Wan Fokkink公司;罗布·范格拉贝克;保利安·德温德 分式和同余:从模态公式的分解到分支和(eta)-双相似性的保持。 (英语) Zbl 1277.68182号 Inf.计算。 214, 59-85 (2012).MSC公司:68问题85 03B45号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{W.Fokkink}等人,《信息计算》。214,59-85(2012;Zbl 1277.68182) 全文: 内政部
Michael Leuschel先生;玛丽莎·洛伦斯;哈维尔·奥利弗;席尔瓦,约瑟夫;萨尔瓦多塔马利特 显式同步语言的静态切片。 (英语) Zbl 1253.68246号 Inf.计算。 214, 10-46 (2012).MSC公司:68问题85 68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Leuschel}等人,《信息计算》。214,10--46(2012;Zbl 1253.68246) 全文: 内政部
里扎德·贾尼基;莱塞,戴特里曼 使用comtrace和广义comtrace建模并发。 (英语) Zbl 1244.68057号 Inf.计算。 209,第11期,1355-1389(2011). 审核人:Maciej Koutny(泰恩河畔纽卡斯尔) MSC公司:68问题85 2010年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}和\textit{D.T.M.Lé},Inf.Compute。209,第11号,1355--1389(2011;Zbl 1244.68057) 全文: 内政部
朱利安·拉特克;巴布亚州索波辛斯基 推导移动环境的结构标记转换。 (英语) Zbl 1214.68251号 Inf.计算。 208,第10期,1221-1242(2010).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Rathke}和\textit{P.Sobocinnski},Inf.Compute。208,第10号,1221--1242(2010;Zbl 1214.68251) 全文: 内政部 链接
詹乃军;米拉·卡德巴姆少校 关于分层发展的反应系统。 (英语) Zbl 1197.93080号 Inf.计算。 208,第9期,997-1019(2010).MSC公司:93亿B51 93甲13 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhan}和\textit{M.Majster-Cederbaum},Inf.Compute。208,第9号,997--1019(2010;Zbl 1197.93080) 全文: 内政部
杰拉尔德·吕特根;沃尔特·福格勒 准备好并发模拟:这是合乎逻辑的! (英语) Zbl 1197.68053号 Inf.计算。 208,第7期,845-867(2010).MSC公司:68问题85 03B70号 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Lüttgen}和\textit{W.Vogler},Inf.Compute。208,第7号,845--867(2010;Zbl 1197.68053) 全文: 内政部 链接
迈克尔·门德勒;杰拉尔德·吕特根 在等式Horn逻辑中,\(\mu\)-表达式的观测同余是公理化的吗? (英语) 兹比尔1205.68248 Inf.计算。 208,第6期,634-651(2010).MSC公司:68问题85 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Mendler}和\textit{G.Lüttgen},Inf.Compute。208,第6号,634--651(2010;Zbl 1205.68248) 全文: 内政部
伊利亚诺·塞尔维萨托;安德烈·斯克洛夫 通过线性逻辑(完整版)关联基于状态和基于进程的并发。 (英语) Zbl 1181.68168号 Inf.计算。 207,第10号,1044-1077(2009).MSC公司:68问题85 03B70号 03楼52 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Cervesato}和\textit{A.Scedrov},Inf.Compute。207,第10号,1044--1077(2009;Zbl 1181.68168) 全文: 内政部
莫西尔·Křetínsk \345];艾哈克,沃伊特;斯特雷切克,简 对于弱扩展的过程重写系统,可达性是可判定的。 (英语) Zbl 1167.68029号 Inf.计算。 207,第6号,671-680(2009).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Křetínský}等人,信息计算。207,第6号,671--680(2009;Zbl 1167.68029) 全文: 内政部
帕特里克·库索;拉迪亚·库索特 双诱导结构语义。 (英语) Zbl 1165.68042号 Inf.计算。 207,第2期,258-283(2009).MSC公司:第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{P.Cousot}和\textit{R.Cousot},信息计算。207,第2号,258--283(2009;Zbl 1165.68042) 全文: 内政部
戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯 (Bi)模拟可描述流程语义。 (英语) Zbl 1165.68054号 Inf.计算。 207,第2期,146-170(2009).MSC公司:68问题85 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{D.de Frutos Escrig}和\textit{C.G.Rodríguez},Inf.Compute。207,第2号,146--170(2009;Zbl 1165.68054) 全文: 内政部
伊雷克·乌利多夫斯基;袁,Shoji 为OSOS过程语言生成优先级重写系统。 (英语) Zbl 1165.68037号 Inf.计算。 207,第2期,第120-145页(2009年).MSC公司:2012年第68季度 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Ulidowski}和\textit{S.Yuen},Inf.Compute。207,第2号,120--145(2009;Zbl 1165.68037) 全文: 内政部
蒂尔扎·赫斯特 并行自动机的Rice型定理。 (英语) 兹比尔1169.68025 Inf.计算。 207,第1期,第1-13页(2009年).MSC公司:65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Hirst},信息计算。207,编号1,1-13(2009;Zbl 1169.68025) 全文: 内政部
托马斯·桑顿 在细化下保持概率信息流。 (英语) Zbl 1146.68401号 Inf.计算。 206,编号2-4213-249(2008).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Santen},Inf.计算。206,编号2--4,213--249(2008;Zbl 1146.68401) 全文: 内政部
维姆·赫塞林克。 模拟规范的通用扩展。 (英语) Zbl 1133.68044号 Inf.计算。 206,第1号,108-128(2008).MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},信息计算。206,第1号,第108-128条(2008;Zbl 1133.68044) 全文: 内政部 链接
菲利普斯,伊恩;玛丽亚·格拉齐亚·维格利奥蒂 环境结石的对称选举制度。 (英语) Zbl 1133.68059号 Inf.计算。 206,第1期,34-72(2008).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Phillips}和\textit{M.G.Vigliotti},Inf.Compute。206,编号1,34-72(2008;兹bl 1133.68059) 全文: 内政部
迈克尔·巴克斯;比吉特·普菲茨曼;迈克尔·韦德纳 异步系统的反应模拟(RSIM)框架。 (英语) Zbl 1132.68025号 Inf.计算。 205,第12期,1685-1720(2007).MSC公司:68第25页 PDF格式BibTeX公司 XML格式引用 \textit{M.Backes}等人,Inf.计算。205,第12号,1685--1720(2007;Zbl 1132.68025) 全文: 内政部
阿伦德·伦辛克;沃尔特·福格勒 公平测试。 (英语) Zbl 1109.68077号 Inf.计算。 205,第2期,125-198(2007).MSC公司:68问题85 第68季度55 60年第68季度 68米15 PDF格式BibTeX公司 XML格式引用 \textit{A.Rensink}和\textit{W.Vogler},Inf.Comput。205,编号2,125--198(2007;Zbl 1109.68077) 全文: 内政部 链接
安德烈亚斯·施费尔 多维持续时间微积分的公理化和可判定性。 (英语) Zbl 1109.68069号 Inf.计算。 205,第1期,25-64(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Schäfer},Inf.计算。205,编号1,25--64(2007;Zbl 1109.68069) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 拆分共刺激和回顾性条件。 (英语) Zbl 1104.68070号 Inf.计算。 204,第7号,1083-1138(2006).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},Inf.Compute。204,第7号,1083--1138(2006;Zbl 1104.68070) 全文: 内政部
罗宾·米尔纳 纯双图:结构和动力学。 (英语) Zbl 1093.68067号 Inf.计算。 204,第1期,60-122(2006).MSC公司:68问题85 第68季度55 92B05型 PDF格式BibTeX公司 XML格式引用 \textit{R.Milner},信息计算。204,第1号,60-122(2006;Zbl 1093.68067) 全文: 内政部 链接
马库斯·洛伊;佩德罗·达吉尼奥。;霍尔格·赫尔曼斯 公理化分歧。 (英语) Zbl 1110.68086号 Inf.计算。 203,第2期,115-144(2005).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Lohrey}等人,信息计算。203,编号2115-144(2005年;兹bl 1110.68086) 全文: 内政部
佩德罗·达吉尼奥。;Joost-Pieter卡托恩 随机系统理论。二: 进程代数。 (英语) Zbl 1106.68073号 Inf.计算。 203,第1期,39-74(2005).MSC公司:68问题85 65年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{P.R.D'Argenio}和\textit{J.P.Katoen},Inf.Compute。203,第1号,39--74(2005;Zbl 1106.68073) 全文: 内政部
卢卡·埃特罗;Wan Fokkink公司;罗布·范格拉贝克;Anna Ingólfsdóttir 有限树上的嵌套语义相当困难。 (英语) Zbl 1101.68690号 Inf.计算。 191,第2期,203-232(2004).MSC公司:68问题85 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Inf.计算。191,No.2,203--232(2004;Zbl 1101.68690) 全文: 内政部 链接
杰拉尔德·吕特根;沃尔特·福格勒 速度上的相互模拟:最坏情况下的效率。 (英语) 兹比尔1074.68037 Inf.计算。 191,第2期,第105-144页(2004年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Lüttgen}和\textit{W.Vogler},Inf.Compute。191,No.2,105--144(2004;Zbl 1074.68037) 全文: 内政部
南希·林奇;罗伯特·塞加拉;Vaandrager,Frits公司 混合I/O自动机。 (英语) Zbl 1069.68067号 Inf.计算。 185,第1期,105-157(2003).MSC公司:65年第68季度 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{N.Lynch}等人,《信息计算》。185,编号1,105--157(2003;Zbl 1069.68067) 全文: 内政部
Anna Ingólfsdóttir 基于最新方法的价值传递过程语义理论。 (英语) Zbl 1028.68094号 Inf.计算。 184,第1期,1-44页(2003年).MSC公司:68问题85 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.Ingólfsdóttir},信息计算。184,第1号,1-44(2003;Zbl 1028.68094) 全文: 内政部
何塞·德斯哈奈斯;阿巴斯·埃达拉特;帕南加登,普拉卡什 标记马尔可夫过程的互模拟。 (英语) Zbl 1096.68103号 Inf.计算。 179,第2期,163-193(2002).MSC公司:68问题85 60J05型 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}等人,《信息计算》。179,编号2,163--193(2002;Zbl 1096.68103) 全文: 内政部
伊雷克·乌利多夫斯基;菲利普斯,伊恩 用于分支和紧急互模拟的有序SOS过程语言。 (英语) Zbl 1012.68116号 Inf.计算。 178,第1期,180-213(2002).MSC公司:68问题85 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{I.Ulidowski}和\textit{I.Phillips},Inf.Compute。178,编号1,180--213(2002;Zbl 1012.68116) 全文: 内政部
最好的,艾克;雷蒙德·魔鬼队;马西耶·库特尼 盒代数=Petri网+过程表达式。 (英语) 兹比尔1012.68117 Inf.计算。 178,第1期,44-100(2002).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}等人,《信息计算》。178,编号1,44--100(2002;Zbl 1012.68117) 全文: 内政部
马丁·阿巴迪;塞德里克·Fornet;乔治·戈蒂尔 通道抽象的安全实现。 (英语) Zbl 1009.68084号 Inf.计算。 174,第1期,第37-83页(2002年).MSC公司:68问题85 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}等人,《信息计算》。174,编号1,37--83(2002;Zbl 1009.68084) 全文: 内政部 链接
美国雷迪。 类Algol语言中的对象和类。 (英语) Zbl 1009.68021号 Inf.计算。 172,第1期,63-97(2002).MSC公司:68甲19 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{美国红},Inf.Comput。172,编号1,63--97(2002;Zbl 1009.68021) 全文: 内政部 链接
阿伦德·伦辛克;罗伯托·戈里埃里 垂直实施。 (英语) Zbl 1005.68095号 Inf.计算。 170,第1期,95-133(2001).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Rensink}和\textit{R.Gorrieri},Inf.计算。170,第1号,95--133(2001;Zbl 1005.68095) 全文: 内政部 链接
安德烈亚·阿斯佩蒂;哈里·梅森。 并行beta缩减并不是简单的递归。 (英语) Zbl 1005.68037号 Inf.计算。 170,第1号,49-80(2001).MSC公司:68甲18 03B40型 03D20日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Asperti}和\textit{H.G.Maison},信息计算。170,第1号,49--80(2001;Zbl 1005.68037) 全文: 内政部
M.克莱博特。;Roos,Y。;赖尔,我。 同步语言和重写系统。 (英语) Zbl 1007.68084号 Inf.计算。 167,第1号,46-69(2001).MSC公司:2012年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Clerbout}等人,《信息计算》。167,编号1,46--69(2001;Zbl 1007.68084) 全文: 内政部
Yuh-Jzer Joung 分布式系统中的公平概念。一: 可实现性的特征。 (英语) Zbl 1003.68010号 Inf.计算。 166,第1期,第1-34页(2001年).MSC公司:64岁以下 2010年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{Y.-J.Joung},Inf.计算。166,编号1,1--34(2001年;Zbl 1003.68010) 全文: 内政部
奥尔纳·库普弗曼;莫舍·瓦尔迪。;皮埃尔·沃尔珀 模块检查。 (英语) Zbl 1003.68071号 Inf.计算。 164,第2期,322-344(2001).MSC公司:60年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,《信息计算》。164,第2号,322--344(2001;Zbl 1003.68071) 全文: 内政部
老一点,苏珊 通信过程具有很强的公平性和完全抽象性。 (英语) Zbl 1003.68081号 Inf.计算。 163,第2期,471-509(2000).MSC公司:68问题85 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{S.旧},Inf.计算。163,第2号,471--509(2000;Zbl 1003.68081) 全文: 内政部 链接
萨姆森·艾布拉姆斯基;拉德哈·贾加迪桑;帕斯夸尔马拉卡里亚 PCF的完全抽象。 (英语) Zbl 1006.68028号 Inf.计算。 163,第2号,409-470(2000).MSC公司:68甲18 03B40型 03D20日 18立方厘米50 18D20天 2005年第68季度 第68季度55 03B70号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{S.Abramsky}等人,《信息计算》。163,第2号,409--470(2000;Zbl 1006.68028) 全文: 内政部 链接
木村(Shigetomo Kimura);Atsushi Togashi;诺里奥·西拉托 从逻辑属性归纳合成递归过程。 (英语) Zbl 1003.68070号 Inf.计算。 163,第2期,257-284(2000).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Kimura}等人,《信息计算》。163,第2号,257--284(2000;Zbl 1003.68070) 全文: 内政部 链接
塞巴斯蒂安·博尔诺;约瑟夫·西法基斯 紧急情况的代数框架。 (英语) 兹比尔1007.68119 Inf.计算。 163,编号172-202(2000).MSC公司:60年第68季度 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Bornot}和\textit{J.Sifakis},Inf.Comput。163,编号1,172--202(2000;Zbl 1007.68119) 全文: 内政部
伦辛,阿伦德 开放条款的相似性。 (英语) Zbl 1046.68626号 Inf.计算。 156,编号1-2,345-385(2000).MSC公司:68问题85 2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Rensink},信息计算。156,编号1--2,345--385(2000;Zbl 1046.68626) 全文: 内政部 链接
亚历山大·拉比诺维奇 持续时间演算的表达式完整性。 (英语) Zbl 1046.68606号 Inf.计算。 156,编号1-2,320-344(2000).MSC公司:60年第68季度 03B70号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich},信息计算。156,编号1--2,320-344(2000;Zbl 1046.68606) 全文: 内政部 链接
弗拉维奥·科拉迪尼 过程代数中的绝对时间与相对时间。 (英语) Zbl 1046.68618号 Inf.计算。 156,编号1-2,122-172(2000).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini},信息计算。156,编号1--2,122-172(2000;Zbl 1046.68618) 全文: 内政部
回来了,拉尔夫·约翰;约阿金·冯·赖特 合同、游戏和改进。 (英语) Zbl 1046.68571号 Inf.计算。 156,编号1-2,25-45(2000).MSC公司:第68季度55 60年第68季度 68问题85 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{R.-J.Back}和\textit{J.von Wright},Inf.Compute。156,编号1--2,25-45(2000;Zbl 1046.68571) 全文: 内政部
蒂尔扎·赫斯特;莫舍·勒文斯坦 交替和有界并发是反向等价的。 (英语) Zbl 1045.68565号 Inf.计算。 152,第2期,173-187(1999).MSC公司:2010年第68季度 2005年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Hirst}和\textit{M.Lewenstein},Inf.Compute。152,No.2,173--187(1999;Zbl 1045.68565) 全文: 内政部 链接
Y.Kesten。;A.普努利。;J.西法基斯。;Yovine,S。 可判定的集成图。 (英语) Zbl 1045.68566号 Inf.计算。 150,第2期,209-243(1999).MSC公司:2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}等人,《信息计算》。150,第2号,209--243(1999;Zbl 1045.68566) 全文: 内政部 链接
米歇尔·博雷尔;洛科·德尼古拉;罗萨里奥·普格利泽 过程的基本观察结果。 (英语) 兹伯利0928.68013 Inf.计算。 149,第1号,77-98(1999).MSC公司:68号01 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Boreale}等人,《信息计算》。149,第1号,77--98(1999;Zbl 0928.68013) 全文: 内政部
马丁·阿巴迪;安德鲁·戈登。 密码协议演算:spi演算。 (英语) Zbl 0924.68073号 Inf.计算。 148,第1期,1-70页(1999年).MSC公司:68第25页 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{A.D.Gordon},Inf.Compute。148,第1号,1--70(1999;Zbl 0924.68073) 全文: 内政部
罗伯托·贾科巴齐;弗朗西斯科·兰扎托 统一闭包:顺序理论上重建逻辑程序语义和抽象域细化。 (英语) Zbl 0921.68057号 Inf.计算。 145,第2期,153-190(1998).MSC公司:第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{R.Giacobazzi}和\textit{F.Ranzato},Inf.Compute。145,第2号,153--190(1998;Zbl 0921.68057) 全文: 内政部 链接
Nyström,Sven-Olof;本特·琼森 并发约束编程的完全抽象语义。 (英语) Zbl 0913.68134号 Inf.计算。 146,第2期,138-180(1998).MSC公司:第68季度55 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{S.-O.Nyström}和\textit{B.Jonsson},Inf.Comput。146,编号2,138-180(1998年;Zbl 0913.68134) 全文: 内政部
Wan Fokkink公司;克里斯·弗霍夫 保守地看待变量绑定的操作语义。 (英语) Zbl 0916.68098号 Inf.计算。 146,第1期,24-54(1998).MSC公司:60年第68季度 2005年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{W.Fokkink}和\textit{C.Verhoef},Inf.Comput。146,编号1,24--54(1998;Zbl 0916.68098) 全文: 内政部 链接
马尔科·贝尔纳多;洛伦佐·多纳蒂耶洛;罗伯托·戈里埃里 一种在并发系统建模和分析中集成性能方面的正式方法。 (英语) Zbl 0909.68074号 Inf.计算。 144,第2期,第83-154页(1998年).MSC公司:2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}等人,《信息计算》。144,No.2,83--154(1998;Zbl 0909.68074) 全文: 内政部
Thorup,米克尔 所有结构化程序都具有较小的树宽度和良好的寄存器分配。 (英语) Zbl 0924.68023号 Inf.计算。 142,第2期,159-181(1998). 审核人:A.V.Anisimov(基辅) MSC公司:68号01 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Thorup},信息计算。142,No.2,159--181(1998;Zbl 0924.68023) 全文: 内政部
罗伯特·塞加拉;Rainer Gawlick先生;瑟加德·安德森,约根;南希·林奇 定时和不定时系统中的活力。 (英语) Zbl 0917.68152号 Inf.计算。 141,第2119-171号(1998年). 审核人:路易莎·加加诺(巴罗尼西) MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Segala}等人,《信息计算》。141,No.2,119--171(1998;Zbl 0917.68152) 全文: 内政部
亚历山大·拉比诺维奇 有限代理并发系统等价问题的复杂性。 (英语) Zbl 0892.68061号 Inf.计算。 139,第2期,111-129(1997).MSC公司:第68季度55 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich},Inf.计算。139,编号2,111--129(1997;Zbl 0892.68061) 全文: 内政部 链接
罗伯特·塞加拉 安静、公平、测试和实现的概念。 (英语) Zbl 0889.68057号 Inf.计算。 138,第2期,194-210(1997).MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Segala},Inf.计算。138,第2号,194--210(1997;Zbl 0889.68057) 全文: 内政部 链接
帕特丽斯·布莱蒙德·格雷戈里;Choi,Jin-Young先生;李因苏普 有限状态ACSR过程的完全公理化。 (英语) Zbl 0885.68064号 Inf.计算。 138,第2期,124-159(1997).MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Brémond-Grégoire}等人,《信息计算》。138,编号2124-159(1997年;Zbl 0885.68064) 全文: 内政部
罗布·范格拉贝克;Vaandrager,Frits公司 在\(n\)和\(n+1)中拆分之间的差异。 (英语) Zbl 0889.68055号 Inf.计算。 136,第2期,109-142(1997).MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek}和\textit{F.Vaandrager},Inf.Compute。136,第2号,109--142(1997;Zbl 0889.68055) 全文: 内政部
卢卡·埃特罗;Wan Fokkink公司 多出口迭代的一个等式公理化。 (英语) Zbl 0881.68069号 Inf.计算。 137,第2期,121-158(1997).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}和\textit{W.Fokkink},Inf.计算。137,编号2,121--158(1997;Zbl 0881.68069) 全文: 内政部 链接
Larsen,Kim G。;Yi,王 时间抽象互模拟:隐含规范和可判定性。 (英语) Zbl 0887.68068号 Inf.计算。 134,第2期,75-101(1997).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}和\textit{W.Yi},Inf.Compute。134,第2号,75--101(1997;Zbl 0887.68068) 全文: 内政部 链接
Jan Friso,格鲁特;Vaandrager,Frits公司 结构化操作语义和互模拟作为同余。 (英语) Zbl 0752.68053号 Inf.计算。 100,第2期,202-260(1992).MSC公司:第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}和\textit{F.Vaandrager},Inf.Compute。100,第2号,202--260(1992;Zbl 0752.68053) 全文: 内政部 链接
罗宾·米尔纳;约阿希姆·帕罗;大卫·沃克 移动进程的微积分。一、。 (英语) Zbl 0752.68036号 Inf.计算。 100,第1期,第1-40页(1992年).MSC公司:2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Milner}等人,《信息计算》。100,编号1,1-40(1992;兹bl 0752.68036) 全文: 内政部
Larsen,Kim G。;罗宾·米尔纳 使用相对化互模拟进行合成协议验证。 (英语) 兹伯利0753.68067 Inf.计算。 99,第1期,80-108(1992).MSC公司:60年第68季度 2010年第68季度 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}和\textit{R.Milner},Inf.Compute。99,第1号,80--108(1992;Zbl 0753.68067) 全文: 内政部
米拉·塞德尔巴姆少校。;Zetzsche,F。 为完整度量空间中的语义奠定基础。 (英语) Zbl 0773.68050号 Inf.计算。 90,第2期,217-243(1991).MSC公司:第68季度55 2010年第68季度 54E50型 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Majster-Cederbaum}和\textit{F.Zetzsche},Inf.Compute。90,第2号,217--243(1991;Zbl 0773.68050) 全文: 内政部
Moschovakis,Yiannis N。 具有公平合并和完全递归的并发模型。 (英语) 兹比尔0732.68037 Inf.计算。 93,第1期,114-171(1991).MSC公司:2010年第68季度 2005年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{Y.N.Moschovakis},Inf.计算。93,第1号,114--171(1991;Zbl 0732.68037) 全文: 内政部
德巴克尔,J.W。 无逻辑逻辑编程中控制流的比较语义。 (英语) Zbl 0728.68080号 Inf.计算。 94,第2123-179号(1991年).MSC公司:第68季度55 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker},Inf.计算。94,No.2,123--179(1991;Zbl 0728.68080) 全文: 内政部
萨姆森·艾布拉姆斯基 用于互模拟的域方程。 (英语) Zbl 0718.68057号 Inf.计算。 92,第2期,161-218(1991).MSC公司:68问题85 2010年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{S.Abramsky},Inf.计算。92,No.2,161--218(1991;Zbl 0718.68057) 全文: 内政部 链接
利维奥·科卢西 模式匹配算法的正确性和效率。 (英语) Zbl 0738.68034号 Inf.计算。 95,第2期,225-251(1991).MSC公司:68宽10 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Colussi},Inf.计算。95,第2号,225--251(1991;Zbl 0738.68034) 全文: 内政部
约斯特·恩格尔弗里特 迭代堆栈自动机和复杂性类。 (英语) Zbl 0758.68029号 Inf.计算。 95,第1期,21-75(1991年);更正同上,第267页,第164-167页(2019年)。 审核人:乌尔里希·赫斯特兰夫(吕贝克) MSC公司:2015年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet},Inf.计算。95,编号1,21-75(1991;兹bl 0758.68029) 全文: 内政部
兰斯·克莱维兰;马修·轩尼诗 过程代数中的优先级。 (英语) Zbl 0726.68053号 Inf.计算。 87,No.1-2,58-77(1990). 审核人:G.Mauri(米兰) MSC公司:第68季度55 2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Cleaveland}和\textit{M.Hennessy},Inf.Compute。87,编号1--2,58-77(1990;Zbl 0726.68053) 全文: 内政部
格林·温斯克尔 一类标记转换系统上的成分证明系统。 (英语) Zbl 0719.68010号 Inf.计算。 87,No.1-2,2-57(1990). 审核人:S.Bloom(霍博肯) MSC公司:68号01 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Winskel},信息计算。87,编号1--2,2--57(1990;Zbl 0719.68010) 全文: 内政部
Kanellakis,巴黎C。;斯科特·斯莫尔卡。 CCS表达式、有限状态过程和三个等价问题。 (英语) Zbl 0705.68063号 Inf.计算。 86,No.1,43-68(1990).MSC公司:65年第68季度 2005年第68季度 2010年第68季度 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Kanellakis}和\textit{S.A.Smolka},Inf.Compute。86,编号1,43--68(1990;Zbl 0705.68063) 全文: 内政部
R.D.坦能。 规范逻辑的语义分析。 (英语) Zbl 0699.68110号 Inf.计算。 85,第2135-162号(1990年).MSC公司:第68季度55 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.D.Tennent},信息计算。85,No.2,135--162(1990;Zbl 0699.68110) 全文: 内政部
美国,皮埃尔;法兰克·德波尔 证明递归过程的完全正确性。 (英语) Zbl 0699.68024号 Inf.计算。 84,No.2,129-162(1990). 审核人:R.霍斯 MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.America}和\textit{F.deBoer},Inf.Comput。84,No.2,129--162(1990;Zbl 0699.68024) 全文: 内政部
罗宾·米尔纳 有限状态行为的观测一致性的完全公理化。 (英语) Zbl 0688.68050号 Inf.计算。 81,No.2,227-247(1989). 审核人:H.保险丝 MSC公司:65年第68季度 68问题65 93-04 PDF格式BibTeX公司 XML格式引用 \textit{R.Milner},信息计算。81,No.2,227--247(1989;Zbl 0688.68050) 全文: 内政部 链接
帕特里克·库索;拉迪亚·库索特 广义霍尔逻辑的正确性和完整性的独立于语言的证明。 (英语) Zbl 0676.68004号 Inf.计算。 80,No.2,165-191(1989). 审核人:圣戈特瓦尔德 MSC公司:68号01 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cousot}和\textit{R.Cousot},信息计算。80,第2号,165--191(1989;Zbl 0676.68004) 全文: 内政部