拉贝亚·阿穆尔·布利法;卢多维奇·亨利奥;艾瑞克·马德琳 基于开放pNets的组合等价。 (英语) Zbl 1512.68161号 J.日志。阿尔盖布。方法计划。 131,文章ID 100842,66页(2023).MSC公司:68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Ameur-Boulifa}等人,J.Log。阿尔盖布。方法程序。131,文章ID 100842,66 p.(2023;Zbl 1512.68161) 全文: 内政部 arXiv公司
安蒂·瓦尔马里 低于稳定性保持公平测试或CFFD的所有同余。 (英语) Zbl 1452.68128号 学报信息。 57,编号3-5,353-383(2020). 审核人:艾哈迈特·库萨诺夫(Komsomolsk-om-Amur) MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Valmari},《信息学报》第57期,第3--5、353--383号(2020年;Zbl 1452.68128) 全文: 内政部
蒋建民;朱慧彪;李,秦;赵永新;张、石;龚萍;洪,钟 基于事件的功能分解。 (英语) 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) 全文: 内政部
休伯特·加拉维 嵌套单位Petri网。 (英语) Zbl 1427.68195号 J.日志。阿尔盖布。方法计划。 104, 60-85 (2019). 审核人:安蒂·瓦尔马里(Jyväskylä) MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel},J.Log。阿尔盖布。方法程序。104、60-85(2019年;Zbl 1427.68195) 全文: 内政部 哈尔
罗布·范格拉贝克;彼得·霍夫纳;朱尔·范德沃尔 使用mCRL2(扩展抽象)分析AWN规范。 (英语) Zbl 1514.68186号 Furia,Carlo A.(编辑)等,《综合形式方法》。2018年9月5日至7日,第14届国际会议,2018年国际单项体育联合会,爱尔兰Maynooth。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11023, 398-418 (2018).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek}等人,Lect。注释计算。科学。11023398--418(2018年;Zbl 1514.68186) 全文: 内政部 链接
Chane-Yack-Fa,拉斐尔;马克·弗拉皮耶;阿梅尔·曼玛;阿兰·芬克尔 单调信息系统的参数化验证。 (英语) 兹比尔1398.68334 正式Asp。计算。 30,编号3-4,463-489(2018).MSC公司:60年第68季度 68问题85 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{R.Chane-Yack-Fa}等人,正式Asp。计算。30,编号3--4,463--489(2018;Zbl 1398.68334) 全文: 内政部 哈尔
罗布·范·格拉贝克。 异步演算中同步的编码有效性。 (英语) Zbl 1390.68490号 信息处理。莱特。 137, 17-25 (2018).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.J.van Glabbeek},Inf.过程。莱特。137、17-25(2018;Zbl 1390.68490) 全文: 内政部 arXiv公司
托马索·博洛涅西 布尔网的类LOTOS合成和因果集构造。 (英语) Zbl 1498.68178号 Katoen,Joost-Pieter(编辑)等,建模教育,测试教育,信任教育。在埃德·布林克斯马60岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。10500,27-47(2017)。MSC公司:68问题80 2006年第68季度 83A05号 PDF格式BibTeX公司 XML格式引用 \textit{T.博洛涅西},莱克特。注释计算。科学。10500,27-47(2017;Zbl 1498.68178) 全文: 内政部
休伯特·加拉维;弗雷德里克·朗;温德林·塞维 从LOTOS到LNT。 (英语) Zbl 1498.68062号 Katoen,Joost-Pieter(编辑)等,建模教育,测试教育,信任教育。在埃德·布林克斯马60岁生日之际献给他的散文。查姆:斯普林格。莱克特。注释计算。科学。10500, 3-26 (2017).MSC公司:68甲15 68N20型 60年第68季度 第68季度第65季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel}等人,Lect。注释计算。科学。10500,3--26(2017;Zbl 1498.68062) 全文: 内政部 哈尔
埃弗拉德,休斯;弗雷德里克·朗 从异步进程的形式化模型自动生成分布式代码,这些进程通过多路汇聚进行交互。 (英语) Zbl 1362.68038号 J.日志。阿尔盖布。方法计划。 88121-153(2017).MSC公司:68N20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Evrard}和\textit{F.Lang},J.Log。阿尔盖布。方法程序。88、121--153(2017年;Zbl 1362.68038) 全文: 内政部 哈尔
罗布·范格拉贝克;彼得·霍夫纳;马吕斯·波特曼;Tan、Wee Lum 对AODV路由协议进行建模和验证。 (英语) Zbl 1386.68019号 分布计算。 29,第4号,279-315(2016).MSC公司:68个M12 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek}等人,《分布计算》。29,第4号,279--315(2016;Zbl 1386.68019) 全文: 内政部 arXiv公司
法塔玛·杰巴利;弗雷德里克·朗;拉杜·马特埃斯库 使用GRL和CADP对GALS系统进行正式建模和验证。 (英语) 兹比尔1345.68023 正式Asp。计算。 28,第5期,767-804(2016).MSC公司:64岁以下 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Jebali}等人,正式Asp。计算。28,第5号,767--804(2016;Zbl 1345.68023) 全文: 内政部 哈尔
彼得·格约尔·詹森;金·古德斯特兰·拉森;吉·斯尔巴 基于离散化的时弧Petri网博弈实时策略综合。 (英语) Zbl 1354.68196号 博什纳奇·德拉甘(编辑)等人,《模型检查软件》。2016年4月7日至8日,第23届国际研讨会,SPIN 2016,与ETAPS 2016合办,荷兰埃因霍温。诉讼程序。查姆:施普林格(ISBN 978-3-319-32581-1/pbk;978-3-3169-32582-8/电子书)。计算机科学讲座笔记9641129-146(2016)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Jensen}等人,Lect。注释计算。科学。9641、129--146(2016年;Zbl 1354.68196) 全文: 内政部
维克利斯、迪米特里斯;弗雷德里克·朗;加泰林·迪马;拉杜·马特埃斯库 使用CADP验证\(\mathrm{EB}^3\)规范。 (英语) Zbl 1335.68150号 正式Asp。计算。 28,第1期,145-178(2016).MSC公司:60年第68季度 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{D.Vekris}等人,正式Asp。计算。28,第1号,145--178(2016;Zbl 1335.68150) 全文: 内政部
埃米尔·布雷斯;罗布·范格拉贝克;彼得·霍夫纳 无线网络的定时进程代数,具有路由应用程序(扩展抽象)。 (英语) Zbl 1335.68005号 Peter Thiemann(编辑),《编程语言和系统》。2016年4月2日至8日,作为欧洲软件理论与实践联合会议的一部分,在荷兰埃因霍温举行了第25届欧洲编程研讨会,即2016年ESOP。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-49497-4/pbk;978-3-562-49498-1/电子书)。计算机科学讲座笔记9632,95-122(2016)。MSC公司:68M10个 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Bres}等人,Lect。注释计算。科学。9632,95-122(2016;Zbl 1335.68005) 全文: 内政部 arXiv公司
佩德罗·桑切斯·特拉夫 相似性不是Borel。 (英语) Zbl 1377.68150号 数学。结构。计算。科学。 27,第7期,1265-1284(2017). 审核人:Ernst-Erich Doberkat(多特蒙德) MSC公司:68问题85 03E15年 PDF格式BibTeX公司 XML格式引用 \textit{P.Sánchez Terraf},数学。结构。计算。科学。27,第7号,1265--1284(2015;Zbl 1377.68150) 全文: 内政部 arXiv公司
伊米德·埃丁·查马;纳比尔·贝拉拉;贾梅尔·埃丁·赛杜尼 业务流程时间约束的形式化建模和分析。 (英语) Zbl 1368.68044号 Bouabana-Tebbel,Thouraya(编辑)等人,《重用和系统集成的形式化》。查姆:施普林格(ISBN 978-3-319-16576-9/pbk;978-3-316-16577-6/电子书)。《智能系统与计算进展》346149-172(2015)。MSC公司:68英里11 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.E.Chama}等人,高级情报。系统。计算。346149--172(2015年;Zbl 1368.68044) 全文: 内政部
罗伯托·戈里埃里;克里斯蒂安·维萨里 并发理论简介。过渡系统和CCS。 (英语) Zbl 1333.68001号 理论计算机科学文本。EATCS系列查姆:施普林格(ISBN 978-3-319-21490-0/hbk;978-3-3169-21491-7/电子书)。xi,第334页。(2015). 审核人:佩德罗·桑切斯·特拉夫(科尔多瓦) MSC公司:68-01 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Gorrieri}和\textit{C.Versari},并发理论导论。过渡系统和CCS。查姆:斯普林格(2015;Zbl 1333.68001) 全文: 内政部
休伯特·加拉维 重温过程计算中的序列构成。 (英语) Zbl 1330.68201号 J.日志。阿尔盖布。方法计划。 84,第6期,742-762(2015).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel},J.日志。阿尔盖布。方法程序。84,第6号,742--762(2015;Zbl 1330.68201) 全文: 内政部
休伯特·加拉维;弗雷德里克·朗;拉杜·马特埃斯库 使用CADP对异步并发系统进行组合验证。 (英语) Zbl 1410.68250号 学报信息。 52,No.4-5,337-392(2015).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel}等人,《学报》第52期,第4--5337--392号(2015年;Zbl 1410.68250) 全文: 内政部
安蒂·瓦尔马里 从其他LTS算子看LTS算子的可构造性和不可构造性。 (英语) Zbl 1328.68140号 学报信息。 52,编号2-3,207-234(2015).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Valmari},《信息学报》第52期,第2--3207--234号(2015年;Zbl 1328.68140) 全文: 内政部
罗布·范·格拉贝克。;彼得·霍夫纳 CCS:这不公平!公平调度程序无法在类似CCS的语言中实现,即使是在进行和某些公平假设的情况下。 (英语) 兹比尔1327.68171 学报信息。 52,编号2-3,175-205(2015).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.J.van Glabbeek}和\textit{P.Höfner},《学报》第52期,第2--3175-205号(2015年;Zbl 1327.68171) 全文: 内政部 arXiv公司
约翰·德里克;埃尔克·博伊滕 关系并发优化。三: 痕迹、部分关系和自动机。 (英语) Zbl 1342.68227号 正式Asp。计算。 26,第2期,407-432(2014).MSC公司:68问题85 68号30 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{E.Boiten},正式Asp。计算。26,第2号,407--432(2014;Zbl 1342.68227) 全文: 内政部
Eerke A.Boiten。 在细化中引入额外的操作。 (英语) Zbl 1342.68204号 正式Asp。计算。 26,第2号,305-317(2014).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Boiten},正式Asp。计算。26,第2号,305-317(2014;Zbl 1342.68204) 全文: 内政部 链接
苏,李;鲁道夫·戈麦斯;霍华德·鲍曼 使用通信自动机分析神经生物学模型。 (英语) Zbl 1342.92024号 正式Asp。计算。 26,第6期,1169-1204(2014).MSC公司:92秒20 65年第68季度 60年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{L.Su}等人,正式Asp。计算。26,第6号,1169--1204(2014;Zbl 1342.92024) 全文: 内政部
安蒂·瓦尔马里 熟悉运算符的所有线性时间同余。 (英语) Zbl 1314.68201号 日志。方法计算。科学。 9,第4号,第11号文件,第34页(2013年).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Valmari},日志。方法计算。科学。9,第4号,第11号论文,34页(2013;Zbl 1314.68201) 全文: 内政部 arXiv公司
拉杜·马特埃斯库;格温·萨拉恩 PIC2LNT:用于检查应用像素的模型转换。 (英语) Zbl 1381.68175号 Piterman,Nir(编辑)等人,《系统构建和分析的工具和算法》。第19届国际会议,TACAS 2013,作为欧洲软件理论和实践联席会议的一部分,ETAPS 2013,2013年3月16日至24日,意大利罗马。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-36741-0/pbk)。计算机科学讲义7795192-198(2013)。MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Mateescu}和\textit{G.Salaün},Lect。注释计算。科学。7795,192--198(2013;Zbl 1381.68175) 全文: 内政部 哈尔
戴维·桑吉奥吉(编辑);简·拉特(编辑) 相互模拟和共同归纳的高级主题。 (英语) Zbl 1264.68009号 剑桥理论计算机科学丛书52.剑桥:剑桥大学出版社(ISBN 978-1-107-00497-9/hbk)。xiii,第326页。(2012). 审核人:安蒂·瓦尔马里(Jyväskylä) MSC公司:68-06 68-02 00B15号机组 68问题85 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Sangiorgi}(编辑)和textit{J.Rutten}(主编),互模拟和共约高级主题。剑桥:剑桥大学出版社(2012;Zbl 1264.68009)
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) 全文: 内政部
Joost-Pieter卡托恩;范德波尔(Jaco van de Pol);马里耶·斯托林加;马克·蒂默 概率自动机数据的线性过程代数格式。 (英语) Zbl 1283.68246号 西奥。计算。科学。 413,第1期,36-57(2012). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:68问题85 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{J.-P.Katoen}等人,Theor。计算。科学。413,编号1,36-57(2012;Zbl 1283.68246) 全文: 内政部 链接
伊梅内·本·哈菲德;格拉夫,苏珊娜;苏菲·昆顿 为具有优先级的系统构建分布式控制器。 (英语) Zbl 1217.68057号 J.日志。阿尔盖布。程序。 80,第3-5号,194-218(2011).MSC公司:68号30 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{I.Ben-Hafaiedh}等人,J.Log。阿尔盖布。程序。80,编号3--5,194-218(2011;Zbl 1217.68057) 全文: 内政部
休伯特·加拉维;弗雷德里克·朗;拉杜·马特埃斯库;温德林·塞维 CADP 2010:用于构建和分析分布式过程的工具箱。 (英语) Zbl 1316.68074号 Abdulla,Parosh Aziz(编辑)等人,《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议(TACAS 2011),是欧洲软件理论与实践联合会议(ETAPS 2011)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-19834-2/pbk)。计算机科学讲座笔记6605372-387(2011)。MSC公司:60年第68季度 68-04 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel}等人,Lect。注释计算。科学。6605372--387(2011年;Zbl 1316.68074) 全文: 内政部
萨宾娜·阿赫塔;斯蒂芬·默兹;马丁·昆森 用于建模算法及其属性的高级语言。 (英语) Zbl 1325.68040号 Davies,Jim(编辑)等人,《形式方法:基础和应用》。2010年11月8日至11日在巴西纳塔尔举行的第13届巴西正式方法研讨会,SBMF 2010。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-19828-1/pbk)。计算机科学课堂讲稿6527,49-63(2011)。MSC公司:68甲15 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{S.Akhtar}等人,Lect。注释计算。科学。6527,49-63(2011;Zbl 1325.68040) 全文: 内政部 链接
布隆,斯特凡;伯特·利瑟;范德波尔(Jaco van de Pol);迈克尔·韦伯 分布式状态空间生成的数据库方法。 (英语) Zbl 1213.68364号 J.日志。计算。 21,第1期,45-62(2011).MSC公司:60年第68季度 68第05页 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{S.Blom}等人,J.Log。计算。21,第1号,45-62(2011;Zbl 1213.68364) 全文: 内政部 链接
霍华德·鲍曼;约翰·德里克 视点建模。重印2001年精装版。 (英语) Zbl 1256.68042号 Bowman,Howard(编辑)等人,分布式处理的形式化方法。面向对象方法综述。剑桥:剑桥大学出版社(ISBN 978-0-521-16875-5/pbk)。451-475 (2010).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{H.Bowman}和\textit{J.Derrick},in:分布式处理的形式化方法。面向对象方法综述。剑桥:剑桥大学出版社。451--475(2010年;Zbl 1256.68042)
勒杜克,盖伊 E-LOTOS过程代数中的多媒体。重印2001年精装版。 (英语) Zbl 1253.68245号 Bowman,Howard(编辑)等人,分布式处理的形式化方法。面向对象方法综述。剑桥:剑桥大学出版社(ISBN 978-0-521-16875-5/pbk)。357-372 (2010).MSC公司:68问题85 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{G.Leduc},in:分布式处理的形式化方法。面向对象方法综述。剑桥:剑桥大学出版社。357-372(2010年;兹比尔1253.68245)
汤姆·罗伯斯;加布里埃尔·休卡斯;胡安·奎马达;阿尔贝托·维尔德乔;路易斯·迪亚斯(Luis F.Llana-Díaz)。 过程计算:E-LOTOS。重印2001年精装版。 (英语) Zbl 1253.68251号 Bowman,Howard(编辑)等人,分布式处理的形式化方法。面向对象方法综述。剑桥:剑桥大学出版社(ISBN 978-0-521-16875-5/pbk)。77-104(2010年)。MSC公司:68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.Robles}等人,in:分布式处理的形式化方法。面向对象方法综述。剑桥:剑桥大学出版社。77-104(2010年;Zbl 1253.68251)
霍华德·鲍曼(编辑);约翰·德里克(编辑) 分布式处理的形式化方法。面向对象方法综述。重印2001年精装版。 (英语) Zbl 1233.68011号 剑桥:剑桥大学出版社(ISBN 978-0-521-16875-5/pbk)。x、 480页。(2010).MSC公司:68-06 68问题85 第68页第19页 60年第68季度 68号30 64岁以下 68甲15 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{H.Bowman}(编辑)和\textit{J.Derrick}(编辑),分布式处理的形式化方法。面向对象方法综述。2001年精装版再版,剑桥:剑桥大学出版社(2010;Zbl 1233.68011)
霍尔格·赫尔曼斯;Joost-Pieter卡托恩 交互马尔可夫链的方式和原因。 (英语) Zbl 1312.68152号 de Boer,Frank S.(编辑)等人,组件和对象的形式化方法。第八届国际研讨会,2009年FMCO,荷兰埃因霍温,2009年11月4-6日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-17070-6/pbk)。计算机科学课堂讲稿6286,311-337(2010)。MSC公司:68问题85 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Hermanns}和\textit{J.-P.Katoen},莱克特。注释计算。科学。6286311-337(2010年;兹比尔1312.68152) 全文: 内政部 链接
弗雷德里克·朗;格温·萨拉恩;雷米·Hérilier;杰夫·克莱默;杰夫·马吉 将FSP转换为LOTOS和自动机网络。 (英语) Zbl 1214.68220号 正式Asp。计算。 22,第6期,681-711(2010).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Lang}等人,正式Asp。计算。22,编号:6861-711(2010年;Zbl 1214.68220) 全文: 内政部
克里斯蒂安·艾森特罗;霍尔格·赫尔曼斯;张丽君 随机世界中的并发和组合。 (英语) Zbl 1287.68132号 Gastin,Paul(编辑)等人,CONCUR 2010–并发理论。第21届国际会议,CONCUR 2010,法国巴黎,2010年8月31日至9月3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15374-7/pbk)。计算机科学课堂讲稿6269,21-39(2010)。MSC公司:68问题85 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Eisentraut}等人,Lect。注释计算。科学。6269,21-39(2010;Zbl 1287.68132) 全文: 内政部 哈尔
杰拉尔德·吕特根;沃尔特·福格勒 准备好模拟并发:这是合乎逻辑的! (英语) 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) 全文: 内政部 链接
苏,李;霍华德·鲍曼;菲利普·巴纳德;布拉德·怀布尔 交互系统中注意力捕获和人类电生理的过程代数建模。 (英语) Zbl 1186.68323号 正式Asp。计算。 21,第6号,513-539(2009).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Su}等人,正式Asp。计算。21,第6号,513--539(2009;Zbl 1186.68323) 全文: 内政部
贝诺·弗雷金;马克·弗拉皮耶 过程表达式的高效符号计算。 (英语) Zbl 1167.68040号 科学。计算。程序。 74,第9期,723-753(2009).MSC公司:68问题85 68问题55 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{B.Fraikin}和\textit{M.Frappier},科学。计算。程序。74,第9号,723--753(2009;Zbl 1167.68040) 全文: 内政部
尼古拉斯·科斯特;霍尔格·赫尔曼斯;艾蒂安·兰特雷贝克;温德林·塞维 面向工业GALS设计中成分模型的性能预测。 (英语) Zbl 1242.68005号 Bouajjani,Ahmed(编辑)等人,《计算机辅助验证》。第21届国际会议,CAV 2009,法国格勒诺布尔,2009年6月26日-7月2日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02657-7/pbk)。计算机科学讲座笔记5643204-218(2009)。MSC公司:2007年7月68日 60J20型 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{N.Coste}等人,Lect。注释计算。科学。5643、204--218(2009;Zbl 1242.68005) 全文: 内政部 链接
埃尔克·博伊滕;约翰·德里克;格哈德·谢尔霍恩 关系并发细化。二: 内部操作和输出。 (英语) Zbl 1165.68412号 正式Asp。计算。 21,编号1-2,65-102(2009).MSC公司:第68季度第65季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.Boiten}等人,正式Asp。计算。21,编号1--2,65-102(2009;Zbl 1165.68412) 全文: 内政部
纳尔逊·索托·罗莎 中间件系统的行为规范。 (英语) Zbl 1171.68426号 Alexander,Michael(编辑)等人,《并行和分布式处理的进程代数》。佛罗里达州博卡拉顿:CRC pRESS(ISBN 978-1-4200-6486-5/hbk)。查普曼和霍尔/CRC计算科学系列,161-198(2009)。MSC公司:68N99型 60年第68季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{N.S.Rosa},in:并行和分布式处理的进程代数。佛罗里达州博卡拉顿:CRC pRESS。161--198(2009年;Zbl 1171.68426)
埃尔克·博伊滕;约翰·德里克 关系并发求精中的分歧建模。 (英语) Zbl 1211.68265号 Leuschel,Michael(编辑)等人,《综合形式方法》。2009年2月16日至19日,德国杜塞尔多夫,第七届国际会议,IFM 2009。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00254-0/pbk)。计算机科学课堂讲稿5423183-199(2009)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Boiten}和\textit{J.Derrick},Lect。注释计算。科学。5423183-199(2009年;Zbl 1211.68265) 全文: 内政部
休伯特·加拉维;格温·萨拉恩;温德林·塞维 关于通信硬件进程的语义及其转换为LOTOS,以便使用CADP验证异步电路。 (英语) Zbl 1160.68465号 科学。计算。程序。 74,第3期,100-127(2009).MSC公司:68问题85 68M99型 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel}等人,科学。计算。程序。74,第3号,100-127(2009;Zbl 1160.68465) 全文: 内政部 链接
约翰·德里克;埃尔克·博伊滕 更多关系并发优化:跟踪和部分关系。 (英语) Zbl 1283.68239号 Boiten,Eerke(编辑)等人,《第13届BCS-FACS精炼研讨会论文集》(REFINE 2008),芬兰图尔库,2008年5月27日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记214255-276(2008)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{E.Boiten},电子。注释Theor。计算。科学。214255-276(2008年;Zbl 1283.68239) 全文: 内政部
布隆,斯特凡;范德波尔(Jaco van de Pol) 具有递归数据类型的过程代数的符号可达性。 (英语) Zbl 1161.68613号 Fitzgerald,John S.(编辑)等人,《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会,土耳其伊斯坦布尔,2008年9月1日至3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85761-7/pbk)。计算机科学课堂讲稿5160,81-95(2008)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Blom}和\textit{J.van de Pol},莱克特。注释计算。科学。5160、81-95(2008年;Zbl 1161.68613) 全文: 内政部 链接
拉杜·马特埃斯库;佩德罗·蒙泰罗。;埃斯特尔·杜马斯;Hidde德容 遗传调控网络的计算树规则逻辑。 (英语) Zbl 1183.68380号 Cha,Sungdeok(Steve)(编辑)等人,《验证和分析自动化技术》。2008年10月20日至23日,第六届国际研讨会,亚洲电视协会,韩国首尔。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-88386-9/pbk)。计算机科学课堂讲稿5311,48-63(2008)。MSC公司:60年第68季度 03B44号 03B45号 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Mateescu}等人,Lect。注释计算。科学。5311、48-63(2008年;Zbl 1183.68380) 全文: 内政部 链接
哈拉尔德·费彻;海科·施密特 进程代数具有内在的选择:修改了并发系统的语义。 (英语) Zbl 1278.68142号 van Glabbeek,Rob(编辑)等人,《结构操作语义第四次研讨会论文集》(SOS 2007),波兰弗罗茨瓦夫,2007年7月9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》192,第1期,45-60(2007)。MSC公司:68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Fecher}和\textit{H.Schmidt},电子。注释Theor。计算。科学。192,第1号,45-60(2007;Zbl 1278.68142) 全文: 内政部
陈、陶璐;贝斯·普洛格;范德波尔(Jaco van de Pol);Tim A.C.Willemse。 使用参数化布尔方程系统对无限系统进行等价性检查。 (英语) Zbl 1151.68521号 Caires,Luís(编辑)等人,CONCUR 2007–并发理论。第18届国际会议,2007年CONCUR,葡萄牙里斯本,2007年9月3-8日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-74406-1/pbk)。计算机科学课堂讲稿4703120-135(2007)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人,Lect。注释计算。科学。4703、120--135(2007年;Zbl 1151.68521) 全文: 内政部 链接
巴斯克斯,F。;罗滕斯特里奇,S。 实时系统设计正式开发的组合模型。 (英语) Zbl 1127.68406号 Ionescu,Dan(编辑)等人,《实时系统》。建模、设计和应用。根据AMAST研讨会上的演示选择论文。新泽西州哈肯萨克:世界科学(ISBN 981-02-4424-X/hbk)。AMAST计算机系列8,237-261(2007)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Vazquez}和\textit{S.Rotenstreich},AMAST Ser。计算。8237--261(2007;Zbl 1127.68406)
托马索·博洛涅西 过程代数的行为复杂性指标:NKS方法。 (英语) Zbl 1121.68047号 J.日志。阿尔盖布。程序。 72,第1期,50-77(2007).MSC公司:2005年第68季度 2010年第68季度 68问题80 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.博洛涅西},J.洛格。阿尔盖布。程序。72,第1号,50--77(2007;Zbl 1121.68047) 全文: 内政部
阿伦德·伦辛克;沃尔特·福格勒 公平测试。 (英语) 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) 全文: 内政部 链接
科拉迪尼,F。;沃格勒,W。 流水线异步系统的性能。 (英语) Zbl 1106.68072号 J.日志。阿尔盖布。程序。 70,第2期,201-221(2007).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini}和\textit{W.Vogler},J.Log。阿尔盖布。程序。70,第2号,201--221(2007;Zbl 1106.68072) 全文: 内政部
吴晓涛;海宁·舒尔兹林内 用终端系统服务的语言处理功能交互。 (英语) Zbl 1119.68026号 计算。Netw公司。 51,第2号,515-535(2007).MSC公司:68M10个 PDF格式BibTeX公司 XML格式引用 \textit{X.Wu}和\textit{H.Schulzrinne},计算。Netw公司。51,第2号,515--535(2007;Zbl 1119.68026) 全文: 内政部
弗雷德里克·朗 用于成分验证的优化接口。 (英语) Zbl 1225.68120号 Najm,Elie(编辑)等人,网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议,法国巴黎,2006年9月26-29日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-46219-4/pbk)。计算机科学课堂讲稿4229159-174(2006)。MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Lang},莱克特。注释计算。科学。4229159--174(2006年;Zbl 1225.68120) 全文: 内政部
萨拉·格拉达拉;安东内拉·桑顿;玛丽亚·路易莎·维拉尼 \(\text{DELFIN}^+\):CCS进程的有效死锁检测工具。 (英语) Zbl 1118.68086号 J.计算。系统。科学。 72,第8期,1397-1412(2006).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Gradara}等人,J.Comput。系统。科学。72,第8号,1397--1412(2006;Zbl 1118.68086) 全文: 内政部
玛丽·拉里尔 量子过程之间的关系:双相似性和同余性。 (英语) Zbl 1122.68060号 数学。结构。计算。科学。 16,第3期,407-428(2006).MSC公司:2010年第68季度 81页68 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Lalire},数学。结构。计算。科学。16,第3号,407--428(2006;Zbl 1122.68060) 全文: 内政部 arXiv公司
阿尔贝托·维尔德乔;马丁·奥列特,纳西索 Maude中的可执行结构操作语义。 (英语) 兹比尔1088.68095 J.日志。阿尔盖布。程序。 67,编号1-2,226-293(2006).MSC公司:68问题55 60年第68季度 68问题85 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Verdejo}和\textit{N.Martí-Oliet},J.Log。阿尔盖布。程序。67,编号1--2,226--293(2006;Zbl 1088.68095) 全文: 内政部 链接
休伯特·加拉维;温德林·塞维 过程代数规范的状态空间缩减。 (英语) Zbl 1086.68091号 西奥。计算。科学。 351,第2期,131-145(2006).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel}和\textit{W.Serwe},Theor。计算。科学。351,第2号,131--145(2006;Zbl 1086.68091) 全文: 内政部
格温·萨拉恩;温德林,塞尔韦 将硬件进程代数转换为标准进程代数:用CHP和LOTOS进行说明。 (英语) Zbl 1137.68454号 Romijn,Judi(编辑)等,《综合形式方法》。2005年11月29日至12月2日在荷兰埃因霍温举行的2005年国际单项体育联合会第五届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-30492-0/pbk)。计算机科学课堂讲稿3771287-306(2005)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Salaün}和\textit{W.Serwe},莱克特。注释计算。科学。3771287--306(2005年;Zbl 1137.68454) 全文: 内政部 链接
米尔科·洛吉;蒂齐亚娜·玛格丽亚;格拉齐亚诺·普拉瓦德利;伯恩哈德·斯特芬 嵌入式系统的动态和形式验证:一项比较调查。 (英语) Zbl 1099.68659号 国际J并行程序。 33,第6号,585-611(2005).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Loghi}等人,《国际并行程序》。33,第6号,585--611(2005;Zbl 1099.68659) 全文: 内政部
阿尔贝托·维尔德乔;马丁·奥列特,纳西索 Maude中语义执行的两个案例研究:CCS和LOTOS。 (英语) Zbl 1086.68552号 形式方法系统。设计。 27,第1-2号,113-172(2005).MSC公司:2012年第68季度 68问题55 60年第68季度 68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Verdejo}和\textit{N.Martí-Oliet},《形式方法系统》。设计。27,编号1--2,113--172(2005;Zbl 1086.68552) 全文: 内政部
罗伯托·巴布蒂;尼科莱塔·德·弗朗西斯科;安东内拉·桑顿;吉利奥拉·瓦格利尼 用于有效CCS验证的简化模型。 (英语) Zbl 1085.68085号 形式方法系统。设计。 26,第3期,319-350(2005).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Barbuti}等人,《形式方法系统》。设计。26,第3号,319--350(2005;Zbl 1085.68085) 全文: 内政部
佩德罗·R·达吉尼奥。;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) 全文: 内政部
亚历山德罗·阿尔迪尼;马可·贝尔纳多 关于进程代数的可用性:架构视图。 (英语) Zbl 1080.68071号 西奥。计算。科学。 335,编号2-3,281-329(2005).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Aldini}和\textit{M.Bernardo},Theor。计算。科学。335,编号2--3,281--329(2005;Zbl 1080.68071) 全文: 内政部
安东内拉·桑顿;吉利奥拉·瓦格利尼 Java字节码时态模型检查的本地方法。 (英语) Zbl 1068.68082号 J.计算。系统。科学。 70,第2期,258-281(2005).MSC公司:60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Santone}和\textit{G.Vaglini},J.Compute。系统。科学。70,第2号,258--281(2005;Zbl 1068.68082) 全文: 内政部
何塞·梅塞盖尔;格里高·罗什乌 重写逻辑语义:从语言规范到形式化分析工具。 (英语) Zbl 1126.68464号 Basin,David(编辑)等人,《自动推理》。第二届国际联合会议,2004年7月4日至8日,爱尔兰科克,IJCAR 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22345-2/pbk)。计算机科学课程讲稿3097。人工智能课堂讲稿,1-44(2004)。MSC公司:68问题55 2012年第68季度 60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu},莱克特。注释计算。科学。3097,1-44(2004;Zbl 1126.68464) 全文: 内政部
乔纳森·比林顿;盖·爱德华·加拉斯;韩冰 协议验证的有色Petri网方法。 (英语) Zbl 1088.68656号 Desel,Jörg(编辑)等人,《并发和Petri网讲座》。Petri网的进展。柏林:施普林格出版社(ISBN 3-540-22261-8/pbk)。《计算机科学讲义》3098201-290(2004)。MSC公司:68问题85 68个M12 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Billington}等人,Lect。注释计算。科学。3098、210-290(2004年;Zbl 1088.68656) 全文: 内政部
马吕斯·布乔里亚努。;Eerke A.Boiten。 面向通信承载规范。 (英语) Zbl 1108.68377号 Rattray,Charles(编辑)等人,代数方法论和软件技术。2004年7月12日至16日在英国苏格兰斯特灵举行的第十届国际会议,AMAST 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22381-9/pbk)。计算机科学讲义3116,57-71(2004)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Bujorianu}和\textit{E.A.Boiten},莱克特。注释计算。科学。3116,57--71(2004;Zbl 1108.68377) 全文: 内政部
肯尼思·特纳。 将图形行为描述形式化。 (英语) Zbl 1108.68416号 Rattray,Charles(编辑)等人,代数方法论和软件技术。2004年7月12日至16日在英国苏格兰斯特灵举行的第十届国际会议,AMAST 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22381-9/pbk)。计算机科学课堂讲稿3116537-552(2004)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{K.J.Turner},莱克特。注释计算。科学。3116537-552(2004年;Zbl 1108.68416) 全文: 内政部
卡隆·桑德兰;杰里米·布莱恩斯;莱昂内尔·莫雷尔 在符号设置中逻辑地表示迭代属性。 (英语) 兹比尔1108.68412 Rattray,Charles(编辑)等人,代数方法论和软件技术。2004年7月12日至16日在英国苏格兰斯特灵举行的第十届国际会议,AMAST 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22381-9/pbk)。计算机科学讲义3116,460-474(2004)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.Shankland}等人,Lect。注释计算。科学。3116、460——474(2004年;Zbl 1108.68412) 全文: 内政部
安德烈亚斯·梅茨格 嵌入式控制系统中的功能交互。 (英语) Zbl 1116.93357号 计算。Netw公司。 45,第5号,625-644(2004).MSC公司:93C83号 PDF格式BibTeX公司 XML格式引用 \textit{A.Metzger},计算。Netw公司。45,第5号,625--644(2004;Zbl 1116.93357) 全文: 内政部
彼得·罗宾逊;卡隆·桑德兰 使用Ergo对抗无限状态。 (英语) Zbl 1279.68266号 König,Hartmut(ed.)等人,网络和分布式系统的形式化技术–FORTE 2003。2003年9月29日至10月2日在德国柏林举行的第23届IFIP WG 6.1国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20175-0/pbk)。莱克特。注释计算。科学。2767, 144-159 (2003).MSC公司:68问题85 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Robinson}和\textit{C.Shankland},莱克特。注释计算。科学。2767144-159(2003年;Zbl 1279.68266) 全文: 内政部
海克·卫尔海姆 活动对象的行为子类型关系。 (英语) 兹比尔1057.68015 形式方法系统。设计。 23,第2期,143-170(2003).MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{H.Wehrheim},形式方法系统。设计。23,第2号,143--170(2003;Zbl 1057.68015) 全文: 内政部
Mila Cederbaum少校;吴金钊 实现真正并发实时的操作优化。 (英语) Zbl 1060.68072号 学报信息。 39,第8期,531-577(2003).MSC公司:60年第68季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Majster-Cederbaum}和\textit{J.Wu},《学报年鉴》39,第8期,531--577(2003;Zbl 1060.68072) 全文: 内政部
马克·弗拉皮耶;雷吉尼·拉劳 证明信息系统的事件排序属性。 (英语) Zbl 1028.68545号 Bert,Didier(ed.)等人,ZB 2003:Z和B中的正式规范和开发。第三届B和Z用户国际会议,芬兰图尔库,2003年6月4-6日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2651, 421-436 (2003).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Frappier}和\textit{R.Laleau},莱克特。注释计算。科学。2651421--436(2003年;Zbl 1028.68545) 全文: 链接
文森扎·卡奇奥洛;米歇尔·马格里;朱塞佩·曼吉奥尼 TTL:用于硬件/软件系统设计的模块化语言。 (英语) Zbl 1035.68031号 J.计算。系统。科学。 66,第2期,293-315(2003).MSC公司:68号01 68N99型 68M99型 PDF格式BibTeX公司 XML格式引用 \文本{V.Carchiolo}等人,J.Comput。系统。科学。66,第2号,293--315(2003;Zbl 1035.68031) 全文: 内政部
霍尔格·赫尔曼斯;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;马库斯·西格尔 关于使用MTBDD进行随机系统的性能分析和验证。 (英语) Zbl 1054.68018号 J.日志。阿尔盖布。程序。 56,第1-2期,23-67(2003).MSC公司:68平方米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Hermanns}等人,J.Log。阿尔盖布。程序。56,编号1--2,23-67(2003;Zbl 1054.68018) 全文: 内政部
安东内拉·桑顿;吉利奥拉·瓦格利尼 通过基于公式的自动集成修改LOTOS规范。 (英语) Zbl 1023.68065号 J.汽车。推理 30,第1号,33-58(2003).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Santone}和\textit{G.Vaglini},J.Autom。推理30,第1期,33-58(2003;Zbl 1023.68065) 全文: 内政部
巴斯·卢提克 关于选择量化的表现力。 (英语) Zbl 1026.03018号 Ann.纯粹应用。逻辑 121,第1期,39-87(2003).MSC公司:03B70号 68问题85 03D40号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Luttik},Ann.纯粹应用。逻辑121,No.1,39--87(2003;Zbl 1026.03018) 全文: 内政部
保罗·J·F·卡雷拉。;Miguel E.F.科斯塔。 自动验证蒸汽锅炉系统的面向对象规范。 (英语) Zbl 1026.68092号 科学。计算。程序。 第46期,第3期,197-217页(2003年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.J.F.Carreira}和\textit{M.E.F.Costa},科学。计算。程序。46,第3号,197--217(2003;Zbl 1026.68092) 全文: 内政部
哈拉尔德·费彻;Mila Cederbaum少校;吴金钊 使用真正的并发模型对实时进程代数中的操作进行优化。 (英语) Zbl 1270.68213号 Derrick,John(编辑)等人,REFINE 2002。BCS FACS精炼研讨会会议记录(FLoC 2002卫星活动),丹麦哥本哈根,2002年7月20日至21日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》70,第3期,260-280(2002)。MSC公司:68问题85 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Fecher}等人,电子。注释Theor。计算。科学。70,第3号,260--280(2002;Zbl 1270.68213) 全文: 链接
哈拉尔德·费彻;Mila Cederbaum少校 延迟决策:基于最终结果的选择与行动优化相结合。 (英语) Zbl 1270.68084号 Derrick,John(编辑)等人,REFINE 2002。BCS FACS精炼研讨会会议记录(FLoC 2002卫星活动),丹麦哥本哈根,2002年7月20日至21日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》70,第3期,244-259(2002)。MSC公司:68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Fecher}和\textit{M.Majster Cederbaum},Electron。注释Theor。计算。科学。70,第3号,244--259(2002;Zbl 1270.68084) 全文: 链接
克里斯托夫·洛尔;Jean-Pierre科蒂亚特 从时间相关系统的规范到调度。 (英语) Zbl 1278.68182号 Damm,Werner(ed.)等人,实时和容错系统中的形式化技术。2002年9月9日至12日,第七届国际研讨会,FTRTFT 2002,由IFIP WG 2.2联合主办,德国奥尔登堡。诉讼程序。柏林:施普林格出版社(ISBN 3-540-44165-4/pbk)。计算机科学课堂讲稿2469129-145(2002)。MSC公司:60年第68季度 68平方米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Lohr}和\textit{J.-P.Courtiat},莱克特。注释计算。科学。2469129--145(2002年;Zbl 1278.68182) 全文: 内政部
哈拉尔德·费彻;Mila Cederbaum少校;吴金钊 具有真正并发模型的概率进程的操作优化。 (英语) Zbl 1065.68591号 Hermanns,Holger(编辑)等人,《过程代数和概率方法》。性能建模和验证。2002年PAPM-PROBMIV第二次联合国际研讨会,丹麦哥本哈根,2002年7月25-26日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43913-7)。莱克特。注释计算。科学。2399, 77-94 (2002).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Fecher}等人,Lect。注释计算。科学。2399、77-94(2002年;Zbl 1065.68591) 全文: 链接
休伯特·加拉维;霍尔格·赫尔曼斯 使用CADP将功能验证和性能评估结合起来。 (英语) Zbl 1064.68523号 Eriksson、Lars-Henrik(编辑)等人,《FME 2002:正式方法——正确使用IT》。欧洲正式方法国际研讨会,丹麦哥本哈根,2002年7月22日至24日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43928-5)。莱克特。注释计算。科学。2391, 410-429 (2002).MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel}和\textit{H.Hermanns},莱克特。注释计算。科学。2391410-429(2002年;Zbl 1064.68523) 全文: 链接
Shmuel Katz;奥尔纳·格伦伯格 翻译模型和规范的框架。 (英语) 兹比尔1057.68628 迈克尔·巴特勒(编辑)等人,《综合形式方法》。第三届国际会议,IFM 2002,芬兰图尔库,2002年5月15日至18日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43703-7)。莱克特。注释计算。科学。2335, 145-164 (2002).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Katz}和\textit{O.Grumberg},莱克特。注释计算。科学。2335145-164(2002年;Zbl 1057.68628) 全文: 链接
阿尔贝托·维尔德乔 在Maude中为LOTOS符号语义构建工具。 (英语) Zbl 1037.68516号 Peled,Doron A.(编辑)等人,《网络和分布式系统的形式化技术——FORTE 2002》。第22届IFIP WG 6.1国际会议,2002年11月11日至14日,美国得克萨斯州休斯顿。诉讼程序。柏林:施普林格出版社(ISBN 3-540-00141-7/pbk)。莱克特。注释计算。科学。2529, 292-307 (2002).MSC公司:64岁以下 60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Verdejo},莱克特。注释计算。科学。2529292--307(2002年;Zbl 1037.68516) 全文: 链接
休伯特·加拉维;弗雷德里克·朗 NTIF:一种通用的符号模型,用于将顺序进程与数据进行通信。 (英语) 兹比尔1037.68556 Peled,Doron A.(编辑)等人,《网络和分布式系统的形式化技术——FORTE 2002》。第22届IFIP WG 6.1国际会议,2002年11月11日至14日,美国德克萨斯州休斯顿。诉讼程序。柏林:施普林格出版社(ISBN 3-540-00141-7/pbk)。莱克特。注释计算。科学。2529, 276-291 (2002).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel}和\textit{F.Lang},莱克特。注释计算。科学。2529276--291(2002年;Zbl 1037.68556) 全文: 链接
安东内拉·桑顿 使用基于公式的组合方法自动验证并发系统。 (英语) Zbl 1035.68072号 学报信息。 38,第8期,531-564(2002).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Santone},Acta Inf.38,编号8,531-564(2002年;Zbl 1035.68072) 全文: 内政部
菲奥雷,M.P。;莫吉,E。;桑吉奥吉,D。 (pi)演算的完全抽象模型。 (英语) Zbl 1053.68066号 Inf.计算。 179,第1期,76-117(2002).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Fiore}等人,《信息计算》。179,编号1,76--117(2002;Zbl 1053.68066) 全文: 内政部
哈拉尔德·费彻;Mila Cederbaum少校;吴金钊 捆绑事件结构:修订的cpo方法。 (英语) Zbl 1043.68068号 信息处理。莱特。 83,第1期,7-12(2002).MSC公司:60年第68季度 68号01 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Fecher}等人,《Inf.过程》。莱特。83,编号1,7--12(2002;Zbl 1043.68068) 全文: 内政部
霍尔格·赫尔曼斯 交互式马尔可夫链。以及对量化质量的追求。 (英语) Zbl 1012.68142号 计算机科学课堂讲稿. 2428. 柏林:斯普林格。xii,217页(2002年)。 审核人:拉卡托斯(布达佩斯) MSC公司:68问题85 68-02 60-02年 PDF格式BibTeX公司 XML格式引用 \textit{H.Hermanns},交互式马尔可夫链。以及对量化质量的追求。柏林:施普林格出版社(2002;Zbl 1012.68142) 全文: 内政部
H·鲍曼。;斯蒂恩,M.W.A。;博伊滕,E.A。;J·德里克。 视点一致性的正式框架。 (英语) Zbl 1019.68061号 形式方法系统。设计。 21,第2期,111-166(2002).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bowman}等人,《形式方法系统》。设计。21,No.2,111--166(2002;Zbl 1019.68061) 全文: 内政部
帕特里克·维里 重写逻辑的等式规则。 (英语) Zbl 1001.68058号 西奥。计算。科学。 285,第2期,487-517(2002).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{P.Viry},Theor。计算。科学。285,第2号,487--517(2002;Zbl 1001.68058) 全文: 内政部