J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 在进程代数设置中使用Hoare逻辑。 (英语) Zbl 1519.68156号 芬丹。通知。 179,编号4,321-344(2021).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},Fundam。通知。179,编号4,321--344(2021;Zbl 1519.68156) 全文: 内政部 arXiv公司
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公司
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 1279.68075号 学报信息。 49,第3期,139-172(2012).MSC公司:第68季度01 2005年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},《学报》第49期,第3期,第139--172页(2012年;Zbl 1279.68075) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 倒置草甸和分裂草甸。 (英语) Zbl 1251.68144号 J.应用。日志。 9,第3期,203-220(2011).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},J.Appl。日志。9,第3号,203--220(2011;Zbl 1251.68144) 全文: 内政部 arXiv公司
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) 全文: 内政部
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公司
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.伯格斯特拉。;加利福尼亚州米德尔堡。 用于策略交错的线程代数。 (英语) 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) 全文: 内政部
加利福尼亚州米德尔堡。 转换系统规范中的变量绑定运算符。 (英语) Zbl 0970.68117号 J.日志。阿尔盖布。程序。 47,第1期,15-45页(2001年).MSC公司:68问题85 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Middelburg},J.Log。阿尔盖布。程序。47,编号1,15--45(2001;Zbl 0970.68117) 全文: 内政部
C.B.琼斯。;加利福尼亚州米德尔堡。 部分函数的类型化逻辑被经典地重构。 (英语) Zbl 0804.03018号 学报信息。 31,第5号,399-430(1994). 审核人:C.B.Jones(曼彻斯特) MSC公司:03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones}和\textit{C.A.Middelburg},《学报信息》31,第5期,399--430(1994;Zbl 0804.03018) 全文: 内政部
加利福尼亚州米德尔堡。 VVSL中VDM规范的模块化结构。 (英语) 兹比尔0739.68061 正式Asp。计算。 4,第1期,13-47(1992).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Middelburg},正式Asp。计算。4,编号1,13-47(1992;Zbl 0739.68061) 全文: 内政部