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公司
Jan A.Bergstra。;阿尔班·蓬塞 定义自然和整数重写系统的数据类型。 （英语） Zbl 1509.68114号 日志。计算方法。科学。 17，第1号，第17号论文，第31页（2021年）.MSC公司：2012年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse}，日志。计算方法。科学。17，第1号，第17号论文，第31页（2021年；Zbl 1509.68114） 全文： 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公司
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.伯格斯特拉。;加利福尼亚州米德尔堡。 指令序列处理运算符。 （英语） 兹比尔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） 全文： 内政部
Jan A.Bergstra。;英格·贝斯克 取消草地上总计算的直线指令序列完整性。 （英语） Zbl 1217.68141号 理论计算。系统。 48，第4期，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公司
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，第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季度 第68季度第60季度 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.伯格斯特拉。;加利福尼亚州米德尔堡。 连续性控制的混合自动机。 （英语） 兹比尔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 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） 全文： 内政部
伯格斯特拉，J.A。;加利福尼亚州米德尔堡。 混合系统的进程代数。 （英语） Zbl 1080.68073号 西奥。计算。科学。 335，编号2-3，215-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.A.伯格斯特拉。;我·贝斯克。 分子动力学。 （英语） Zbl 1008.68033号 J.日志。阿尔盖布。程序。 51，第2期，193-214（2002）.MSC公司：第68页第19页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{I.Bethke}，J.Log。阿尔盖布。程序。51，第2号，193--214（2002；Zbl 1008.68033） 全文： 内政部
Jan A.Bergstra。;阿尔班·蓬塞 结合程序和状态机。 （英语） Zbl 1008.68068号 J.日志。阿尔盖布。程序。 51，第2期，175-192（2002）.MSC公司：65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse}，J.Log。阿尔盖布。程序。51，第2号，175--192（2002；Zbl 1008.68068） 全文： 内政部
J.A.伯格斯特拉。;Loots，M.E.先生。 序列代码的程序代数。 （英语） Zbl 1008.68079号 J.日志。阿尔盖布。程序。 51，第2期，125-156（2002）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{M.E.Loots}，J.Log。阿尔盖布。程序。51，No.2，125--156（2002；Zbl 1008.68079） 全文： 内政部
Jan A.Bergstra。;阿尔班·蓬塞 进程代数中的非正则迭代器。 （英语） Zbl 0983.68138号 西奥。计算。科学。 269，编号1-2，203-229（2001）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse}，Theor。计算。科学。269，编号1--2，203-229（2001；Zbl 0983.68138） 全文： 内政部
Jan A.Bergstra。;阿尔班·蓬塞 具有四值逻辑的进程代数。 （英语） Zbl 1036.68067号 J.应用。非类别。日志。 10，第1期，27-53（2000）.MSC公司：68问题85 03B50 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse}，J.Appl。非类别。日志。10，第1号，第27--53条（2000年；Zbl 1036.68067） 全文： 内政部 链接
巴顿，J.C.M。;J.A.伯格斯特拉。 带有命题信号的过程代数。 （英语） Zbl 0901.68117号 西奥。计算。科学。 177，第2期，381-405（1997）.MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}和\textit{J.A.Bergstra}，Theor。计算。科学。177，第2号，381--405（1997；Zbl 0901.68117） 全文： 内政部
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公司
巴顿，J.C.M。;J.A.伯格斯特拉。 离散时间过程代数。 （英语） Zbl 0849.68033号 正式Asp。计算。 8，第2期，188-208（1996）.MSC公司：2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}和textit{J.A.Bergstra}，正式Asp。计算。8，编号2188-208（1996年；Zbl 0849.68033） 全文： 内政部
J.A.伯格斯特拉。;W.J.福克金。;加利福尼亚州米德尔堡。 时间帧代数。 （英语） Zbl 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） 全文： 内政部
约翰·范·本特姆;伯格斯特拉（Jan Bergstra） 过渡系统的逻辑。 （英语） 兹伯利0827.03019 J.逻辑语言信息。 3，第4期，247-283（1995）.MSC公司：03B80号 2005年第68季度 03B45号 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem}和textit{J.Bergstra}，J.Logic Lang.Inf.3，No.4，247--283（1995；Zbl 0827.03019） 全文： 内政部
巴顿，J.C.M。;J.A.伯格斯特拉。 具有抽象的离散时间过程代数。 （英语） Zbl 1504.68137号 Reichel，Horst（编辑），《计算理论基础》。1995年8月22日至25日，第十届国际会议，FCT’95，德国德累斯顿。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。965，1-15（1995）中描述。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}和textit{J.A.Bergstra}，莱克特。注释计算。科学。965，1-15（1995年；Zbl 1504.68137） 全文： 内政部 链接
巴顿，J.C.M。;J.A.伯格斯特拉。 在顺序组合中，操作前缀和进程前缀。 （英语） Zbl 0942.68608号 正式Asp。计算。 6，第3期，250-268（1994）.MSC公司：68问题55 第68季度第60季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}和textit{J.A.Bergstra}，正式Asp。计算。6，编号3，250-268（1994年；兹bl 0942.68608） 全文： 内政部
巴顿，J.C.M。;J.A.伯格斯特拉。 实空间进程代数。 （英语） Zbl 0942.68607号 正式Asp。计算。 5，第6期，481-529（1993）.MSC公司：68问题55 68宽10 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}和textit{J.A.Bergstra}，正式Asp。计算。第5号，第6481-529页（1993年；兹bl 0942.68607） 全文： 内政部