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.伯格斯特拉。;加利福尼亚州米德尔堡。 具有策略交错的进程代数。 (英语) Zbl 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 1279.68075号 Acta信息。 第3期第49页,第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.伯格斯特拉。;加利福尼亚州米德尔堡。 倒置草甸和分裂草甸。 (英语) 兹比尔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},Inf.Compute。208,编号7,817--844(2010;Zbl 1197.68046) 全文: 内政部 arXiv公司
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 使用跳转指令编程代数。 (英语) Zbl 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号,第4553-563号(2008年;兹bl 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号 Acta信息。 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 1088.68085号 J.日志。代数。程序。 68,编号1-2,5-53(2006).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},J.Log。代数。程序。68,编号1--2,5--53(2006;Zbl 1088.68085) 全文: 内政部
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-3215-280(2005年;兹bl 1080.68073) 全文: 内政部 链接
加利福尼亚州米德尔堡。 具有约束条件的操作保守性的替代公式。 (英语) Zbl 1048.68056号 J.日志。代数。程序。 55,第1-2、1-19号(2003).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Middelburg},J.日志。代数。程序。55,编号1--2,1--19(2003;Zbl 1048.68056) 全文: 内政部
加利福尼亚州米德尔堡。 回顾进程代数中的计时。 (英语) Zbl 1051.68110号 J.日志。代数。程序。 54,编号1-2109-127(2003).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Middelburg},J.Log。代数。程序。54,编号1--2,109-127(2003;Zbl 1051.68110) 全文: 内政部
巴顿,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) 全文: 内政部
加利福尼亚州米德尔堡。 转换系统规范中的变量绑定运算符。 (英语) 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) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。;斯特凡内斯库,Gh。 异步数据流的网络代数。 (英语) 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公司
J.A.伯格斯特拉。;W.J.福克金。;加利福尼亚州米德尔堡。 时间帧代数。 (英语) 兹比尔1001.68518 国际期刊计算。数学。 61,第3-4、227-255号(1996年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}等人,《国际计算杂志》。数学。61,编号3--4,227--255(1996;Zbl 1001.68518) 全文: 内政部