中田昭夫 推导满足实时时序逻辑公式的周期时间自动机的参数条件。 (英语) Zbl 0991.68522号 RIMS Kokyuroku公司 1205, 160-165 (2001).MSC公司:2005年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Nakata},RIMS Kokyuroku 1205,160--165(2001;Zbl 0991.68522)
山本三郎;高桥光一;Masami Hagiya;西崎、信叶;铁雄县塔迈 图搜索算法的形式化验证及其在模型检验中的应用。 (日语) Zbl 0957.68502号 RIMS Kokyuroku公司 1125, 129-141 (2000).MSC公司:60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Yamamoto}等人,RIMS Kokyuroku 1125,129--141(2000;Zbl 0957.68502)
Masahiko Tomoishi;直纪延崎 用于确定规格差异一致性的可组合表格方法。 (日语) Zbl 0957.68501号 RIMS Kokyuroku公司 1125, 142-149 (2000).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Tomoishi}和\textit{N.Yonezaki},RIMS Kokyuroku 1125、142-149(2000年;Zbl 0957.68501)
靖子倪;坂部俊彦 行为等价的代数证明中的线性上下文归纳方法。 (日语) Zbl 0951.68531号 RIMS Kokyuroku公司 1093, 148-154 (1999).MSC公司:60年第68季度 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ni}和\textit{T.Sakabe},RIMS Kokyuroku 1093、148--154(1999;Zbl 0951.68531)
佐藤,一郎 用于通信进程的速度敏感命令。 (英语) Zbl 0942.68568号 RIMS Kokyuroku公司 996, 23-38 (1997).MSC公司:2010年第68季度 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.佐藤},RIMS Kokyuroku 996,23-38(1997;Zbl 0942.68568)
中田昭夫;东野东彦;谷口,Kenichi 时间-动作交替模型,用于验证定时过程的符号互模拟等价性。 (英语) Zbl 0942.68569号 RIMS Kokyuroku公司 996, 98-110 (1997).MSC公司:2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Nakata}等人,RIMS Kokyuroku 996,98--110(1997;Zbl 0942.68569)
菲利普斯,伊恩;伊雷克·乌利多夫斯基 有序的SOS规则和弱互模拟。 (英语) Zbl 0942.68567号 RIMS Kokyuroku公司 996, 195-206 (1997).MSC公司:2010年第68季度 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Phillips}和\textit{I.Ulidowski},RIMS Kokyuroku 996,195--206(1997;Zbl 0942.68567)
佐藤雅满 实时系统的符号模型检查方法。 (英语) Zbl 0942.68625号 RIMS Kokyuroku公司 996, 222-242 (1997).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Yamane},RIMS Kokyuroku 996、222——242(1997年;Zbl 0942.68625)
袁,Shoji;坂部俊彦;稻崎康夫 正则时间过程测试预序的符号替代特征。 (英语) Zbl 0947.68057号 RIMS Kokyuroku公司 996, 5-22 (1997).MSC公司:2010年第68季度 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Yuen}等人,RIMS Kokyuroku 996,5--22(1997;Zbl 0947.68057)
新纪河野 二阶区间时序逻辑的执行和验证。 (英语) Zbl 0947.68092号 RIMS Kokyuroku公司 996年、162-180年(1997年).MSC公司:60年第68季度 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Kono},RIMS Kokyuroku 996,162--180(1997;Zbl 0947.68092)
Atsushi Togashi 关于多元(π)演算的类型系统。 (英语) Zbl 0948.68124号 RIMS Kokyuroku公司 996, 125-142 (1997).MSC公司:68问题85 2010年第68季度 68问题55 60年第68季度 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{A.Togashi},RIMS Kokyuroku 996,125--142(1997;Zbl 0948.68124)
吉野Isobe;中田英本;佐藤,玉田;Kazuhito Ohmaki 保持强((Omega_1,Omega_2)等价的部分规范的逐步合成。 (英语) Zbl 0947.68091号 RIMS Kokyuroku公司 996, 39-53 (1997).MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Isobe}等人,RIMS Kokyuroku 996,39-53(1997;Zbl 0947.68091)
Usui、Nobuyuki;木村(Shigetomo Kimura);Atsushi Togashi;诺里奥·西拉托 工艺组成符合MSC。 (日语) Zbl 0941.68632号 RIMS Kokyuroku公司 906, 154-161 (1995).MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Usui}等人,RIMS Kokyuroku 906,154--161(1995;Zbl 0941.68632)
樱井,口一;川崎岩马 演示对抗对手的程序。 (英语) Zbl 0941.68630号 RIMS Kokyuroku公司 906, 170-177 (1995).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Sakurai}和\textit{K.Iwama},RIMS Kokyuroku 906,170--177(1995;Zbl 0941.68630)
木村(Shigetomo Kimura);Atsushi Togashi;诺里奥·西拉托 将递归过程综合算法推广到微积分。 (英语) Zbl 0941.68631号 RIMS Kokyuroku公司 906, 146-153 (1995).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Kimura}等人,RIMS Kokyuroku 906,146--153(1995;Zbl 0941.68631)
村上春树,Masaki 使用部分评估对反应性顺序过程进行并行分解。 (日语) Zbl 0941.68629号 RIMS Kokyuroku公司 902, 49-63 (1995).MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Murakami},RIMS Kokyuroku 902,49-63(1995;Zbl 0941.68629)
森·吉田;Atsushi Togashi;诺里奥·西拉托 构建过程计算的并发支持环境。 (日语) Zbl 0941.68627号 RIMS Kokyuroku公司 902156-178(1995年).MSC公司:60年第68季度 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Yoshida}等人,RIMS Kokyuroku 902,156--178(1995;Zbl 0941.68627)
本田、高黑;吉田、Nobuko 基于约简的过程语义。 (英语) Zbl 0941.68622号 RIMS Kokyuroku公司 902, 10-25 (1995).MSC公司:68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.本田}和\textit{N.吉田},RIMS Kokyuroku 902,10-25(1995;Zbl 0941.68622)
马科托·库博 并发结石的成本图。 (英语) Zbl 0941.68576号 RIMS Kokyuroku公司 902, 64-79 (1995).MSC公司:2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kubo},RIMS Kokyuroku 902,64--79(1995;Zbl 0941.68576)
Eiichi Horita;德弗里斯,Fer-Jan 用标签传递传递进程的完全抽象表示模型。 (英语) Zbl 0941.68626号 RIMS Kokyuroku公司 902, 26-48 (1995).MSC公司:60年第68季度 2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.Horita}和\textit{F.-J.de Vries},RIMS Kokyuroku 902,26-48(1995;Zbl 0941.68626)
木村(Shigetomo Kimura);Atsushi Togashi;诺里奥·西拉托 从逻辑属性归纳合成递归过程。 (英语) Zbl 0941.68628号 RIMS Kokyuroku公司 902, 80-102 (1995).MSC公司:60年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kimura}等人,RIMS Kokyuroku 902,80-102(1995;Zbl 0941.68628)
高山由纪德 高维自动机中并发进程的并行化。 (英语) Zbl 0939.68643号 RIMS Kokyuroku公司 918, 238-252 (1995).MSC公司:2010年第68季度 68问题55 60年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Takayama},RIMS Kokyuroku 918,238--252(1995;Zbl 0939.68643)
森喜朗;伊藤俊彦 关于检查器、自测器和自我窃听器。 (英语) Zbl 0939.68708号 RIMS Kokyuroku公司 871138-144(1994年).MSC公司:60年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Mori}和\textit{T.Itoh},RIMS Kokyuroku 871,138--144(1994;Zbl 0939.68708)