J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 关于单程指令序列的表达性。 (英语) Zbl 1278.68032号 理论计算。系统。 50,第2期,313-328(2012).MSC公司:2007年7月68日 2005年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},理论计算。系统。50,编号2,313--328(2012;Zbl 1278.68032) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 关于负载/存储架构的操作单元大小。 (英语) Zbl 1206.68114号 数学。结构。计算。科学。 20,第3期,395-417(2010).MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},数学。结构。计算。科学。20,第3号,395--417(2010;Zbl 1206.68114) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 面向机器结构的控制代码逻辑。 (英语) Zbl 1186.68104号 学报信息。 46,第5期,375-401(2009).MSC公司:68N20型 03B70号 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},《学报》第46期,第5期,第375--401页(2009年;Zbl 1186.68104) 全文: 内政部 arXiv公司
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 用于流水线指令处理的Maurer计算机。 (英语) Zbl 1141.68010号 数学。结构。计算。科学。 18,第2号,373-409(2008).MSC公司:2007年7月68日 2005年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},数学。结构。计算。科学。18,编号2,373--409(2008;Zbl 1141.68010) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 在Maurer机器上模拟图灵机器。 (英语) Zbl 1150.03011号 J.应用。日志。 6,第1号,1-23(2008). 审核人:丹尼尔拉·马林内斯库(布拉索夫) MSC公司:03日第10天 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},J.Appl。日志。6,第1号,1--23(2008;Zbl 1150.03011) 全文: 内政部 链接
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 显式多线程的同步合作。 (英语) 兹比尔1133.68051 学报信息。 44,编号7-8,525-569(2007).MSC公司:68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},《情报法》第44卷,第7-8期,第525-569页(2007年;Zbl 1133.68051) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 用于策略交错的线程代数。 (英语) Zbl 1131.68067号 正式Asp。计算。 19,第4期,445-474(2007).MSC公司:68问题85 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},正式Asp。计算。19,第4号,445--474(2007;Zbl 1131.68067) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 混合系统的进程代数。 (英语) Zbl 1080.68073号 西奥。计算。科学。 335,编号2-3215-280(2005).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},Theor。计算。科学。335,编号2--3,215--280(2005;Zbl 1080.68073) 全文: 内政部 链接
巴顿,J.C.M。;加利福尼亚州米德尔堡。 具有时间相关条件的实时进程代数。 (英语) Zbl 0992.68152号 J.日志。阿尔盖布。程序。 48,编号1-2,1-38(2001).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}和\textit{C.A.Middelburg},J.Log。阿尔盖布。程序。48,编号1--2,1--38(2001;Zbl 0992.68152) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。;乔治亚州斯特夫内斯库。 异步数据流的网络代数。 (英语) Zbl 0891.68040号 国际期刊计算。数学。 65,编号1-2,57-88(1997).MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}等人,《国际计算杂志》。数学。65,编号1--2,57-88(1997;Zbl 0891.68040) 全文: 内政部 arXiv公司