罗伯特·瓜夏莱;埃米利奥·托斯托 彩球的可实现性。 (英语) Zbl 1435.68213号 J.日志。阿尔盖布。方法计划。 108, 69-89 (2019).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Guanciale}和\textit{E.Tuosto},J.Log。阿尔盖布。方法程序。108、69-89(2019年;Zbl 1435.68213) 全文: 内政部 链接
克莱门斯·杜伯斯拉夫;克里斯特尔·拜尔 通信场景的定量分析。 (英语) Zbl 1465.68194号 Sankaranarayanan,Sriram(编辑)等人,时间系统的形式化建模和分析。2015年9月2日至4日,第13届国际会议,FORMATS 2015,西班牙马德里。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9268, 76-92 (2015).MSC公司:68问题85 60J28型 64岁以下 68平方米 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Dubslaff}和\textit{C.Baier},莱克特。注释计算。科学。9268、76-92(2015年;Zbl 1465.68194) 全文: 内政部
托马斯·加扎涅尔;布莱斯·基内斯特;洛伊奇,Hélouët;蒂亚加拉扬,P.S。;杨绍发 因果信息序列图。 (英语) Zbl 1187.68081号 西奥。计算。科学。 410,第41号,4094-4110(2009).MSC公司:64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{T.Gazagnaire}等人,Theor。计算。科学。410,第41号,4094--4110(2009;Zbl 1187.68081) 全文: 内政部 链接
布莱斯·基内斯特;迪特里赫·库斯克;安卡·穆斯科尔 存在有界通信自动机的Kleene定理和模型检查算法。 (英语) Zbl 1104.68066号 Inf.计算。 204,编号6920-956(2006).MSC公司:60年第68季度 68瓦05 65年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Genest}等人,《信息计算》。204,第6号,920--956(2006;Zbl 1104.68066) 全文: 内政部
Meenakshi,B。;拉马努贾姆,R。 关于分层消息传递系统的推理。 (英语) 兹比尔1072.68067 计算。语言系统。结构。 30,第3-4号,171-206(2004).MSC公司:60年第68季度 68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Meenakshi}和\textit{R.Ramanujam},计算。语言系统。结构。30,编号3--4,171-206(2004;Zbl 1072.68067) 全文: 内政部
马库斯·洛伊 高级消息序列图的可实现性:缩小差距。 (英语) Zbl 1070.68091号 西奥。计算。科学。 309,编号1-3,529-554(2003).MSC公司:60年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Lohrey},Theor。计算。科学。309,编号1--3,529--554(2003;Zbl 1070.68091) 全文: 内政部
菲利普·卢卡斯 基于时间自动机的消息序列图的时间语义。 (英语) Zbl 1270.68156号 Asarin,Eugene(编辑)等人,TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录(ETAPS 2002年卫星活动)。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》65,第6期,第160-179页(2002年)。MSC公司:68问题55 68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Lucas},电子。理论注释。计算。科学。65,No.6,160--179(2002;Zbl 1270.68156) 全文: 内政部
多龙·贝利德 使用消息序列图进行规范和验证。 (英语) Zbl 1268.68116号 Caillaud,Benoit(编辑)等人,VISS 2002。2002年4月6日至14日,法国格勒诺布尔,验证和实施基于场景的规范国际研讨会会议记录(ETAPS 2002年卫星活动)。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》65,第7期,第51-64页(2002年)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled},电子。理论注释。计算。科学。65,第7号,51--64(2002;Zbl 1268.68116) 全文: 内政部