J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 具有策略交错的进程代数。 (英语) 兹比尔1427.68181 理论计算。系统。 63,第3期,488-505(2019). 审核人:Tiit Riismaa(塔林) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},理论计算。系统。63,第3号,488--505(2019年;Zbl 1427.68181) 全文: 内政部 arXiv公司
Jan A.Bergstra。;英格·贝斯克 关于向后跳转对指令序列表达的贡献。 (英语) Zbl 1279.68182号 理论计算。系统。 50,第4期,706-720(2012).MSC公司:68问题55 68甲15 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{I.Bethke},理论计算。系统。50,第4号,706--720(2012;Zbl 1279.68182) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 多线程的线程代数。 (英语) Zbl 1225.68060号 正式Asp。计算。 23,第4期,567-583(2011).MSC公司:68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},正式Asp。计算。23,第4号,567--583(2011;Zbl 1225.68060) 全文: 内政部
Jan A.Bergstra。;英格·贝斯克 取消草地上总计算的直线指令序列完整性。 (英语) Zbl 1217.68141号 理论计算。系统。 第4期第48页,第840-864页(2011年).MSC公司:68问题65 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{I.Bethke},理论计算。系统。48,第4号,840--864(2011;Zbl 1217.68141) 全文: 内政部 链接
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 分子动力学的线程演算。 (英语) Zbl 1197.68046号 Inf.计算。 208,第7期,817-844(2010).MSC公司:2005年第68季度 2010年第68季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},信息计算。208,编号7,817--844(2010;Zbl 1197.68046) 全文: 内政部 arXiv公司
Vu,Thuy Duong先生 无干扰线程代数。 (英语) Zbl 1166.68007号 西奥。通知。申请。 43,第2期,249-268(2009).MSC公司:68甲15 68甲19 68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{T.D.Vu},Theor。通知。申请。43,第2号,249--268(2009;Zbl 1166.68007) 全文: 内政部 欧洲DML 链接
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 使用跳转指令编程代数。 (英语) 兹比尔1158.68359 J.应用。日志。 6,第4号,553-563(2008).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},J.Appl。日志。6,第4号,553--563(2008;Zbl 1158.68359) 全文: 内政部 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.伯格斯特拉。;加利福尼亚州米德尔堡。 显式多线程的同步合作。 (英语) Zbl 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 1077.68057号 西奥。计算。科学。 343,第3期,285-304(2005).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{I.Bethke},Theor。计算。科学。343,第3号,285--304(2005;Zbl 1077.68057) 全文: 内政部