萨米克·巴苏;特夫菲克·布尔坦 决定异步通信系统的同步性。 (英语) Zbl 1353.68195号 西奥。计算。科学。 656,A部分,60-75(2016).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Basu}和\textit{T.Bultan},Theor。计算。科学。656,A部分,60-75(2016;Zbl 1353.68195) 全文: 内政部
傅、香;特夫菲克·布尔坦;苏建文 对话协议:反应式电子服务规范和验证的形式主义。 (英语) Zbl 1071.68002号 西奥。计算。科学。 328,第1-2、19-37号(2004年).MSC公司:68M10个 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{X.Fu}等人,Theor。计算。科学。328,编号1--2,19-37(2004;Zbl 1071.68002) 全文: 内政部 链接
当、哲;特夫菲克·布尔坦;奥斯卡·H·伊瓦拉。;理查德·凯默勒(Richard A.Kemmer)。 过去的下推定时自动机和安全验证。 (英语) Zbl 1069.68065号 西奥。计算。科学。 313,第1期,57-71(2004).MSC公司:65年第68季度 60年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{Z.Dang}等人,Theor。计算。科学。313,第1号,57--71(2004;Zbl 1069.68065) 全文: 内政部
奥斯卡·H·伊巴拉。;苏建文;当、哲;特夫菲克·布尔坦;理查德·凯默勒(Richard A.Kemmer)。 计数器和验证问题。 (英语) Zbl 1061.68095号 西奥。计算。科学。 289,第1期,165-189(2002).MSC公司:65年第68季度 2005年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}等人,Theor。计算。科学。289,第1号,165--189(2002;Zbl 1061.68095) 全文: 内政部