Jan A.Bergstra。;约翰·V·塔克。 求有理数算术的等式。 (英语) Zbl 07713583号 ACM事务处理。计算。日志。 24,第3号,第22号论文,28页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和textit{J.V.Tucker},ACM Trans。计算。日志。24,第3号,第22号论文,28页(2023;Zbl 07713583) 全文: 内政部
Jan A.Bergstra。;约翰·V·塔克。 对称变换:其方程理论的数据类型和算法程度。 (英语) Zbl 1524.68199号 Jansen,Nils(编辑)等人,《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13560, 63-80 (2022).MSC公司:第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和textit{J.V.Tucker},莱克特。注释计算。科学。13560,63-80(2022;Zbl 1524.68199) 全文: 内政部
Jan A.Bergstra。;约翰·V·塔克。 有理数的部分算术数据类型及其等式规范。 (英语) Zbl 07576527号 J.日志。阿尔盖布。方法计划。 128,文章ID 100797,16 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和textit{J.V.Tucker},J.Log。阿尔盖布。方法计划。128,文章ID 100797,16 p.(2022;Zbl 07576527) 全文: 内政部
Jan A.Bergstra。 指令序列故障、错误和缺陷的限定条件:休眠、有效、检测、临时和永久。 (英语) Zbl 1513.68010号 科学。Ann.计算。科学。 31,编号1,1-50(2021).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra},科学。Ann.计算。科学。31,编号1,1-50(2021;Zbl 1513.68010) 全文: 内政部
伯格斯特拉,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。;约翰·V·塔克。 作为抽象数据类型的有理数轮子。 (英语) Zbl 07415131号 Roggenbach,Markus(编辑),代数开发技术的最新趋势。第25届国际研讨会,WADT 2020,虚拟活动,2020年4月29日。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。12669, 13-30 (2021).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和textit{J.V.Tucker},莱克特。注释计算。科学。12669,13-30(2021;Zbl 07415131) 全文: 内政部
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公司 链接
Jan A.Bergstra。 求和项、求和、求和元组、求和以及求和的元算法。 (英语) Zbl 1513.68009号 科学。Ann.计算。科学。 30,第2期,167-203(2020).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra},科学。Ann.计算。科学。30,第2号,167--203(2020;Zbl 1513.68009) 全文: 内政部 arXiv公司
Jan A.Bergstra。 带有正式更改理由的指令序列错误。 (英语) Zbl 1513.68008号 科学。Ann.计算。科学。 30,编号2,105-166(2020).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra},科学。Ann.计算。科学。30,编号2,105--166(2020;Zbl 1513.68008) 全文: 内政部
Jan A.Bergstra。 有理数抽象数据类型的最通用代数规范。 (英语) Zbl 1513.68032号 科学。Ann.计算。科学。 30,编号1,1-24(2020).MSC公司:第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra},科学。Ann.计算。科学。30,第1号,1--24(2020;Zbl 1513.68032) 全文: 内政部
Jan A.Bergstra。;阿尔班·蓬塞 具有真分数的算术数据类型。 (英语) Zbl 1448.68323号 学报信息。 57,编号3-5,385-402(2020).MSC公司:第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse},《学报》第57期,第3--5385--402号(2020年;Zbl 1448.68323) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 关于非零测试指令序列正确性问题的复杂性。 (英语) Zbl 1436.68079号 西奥。计算。科学。 802, 1-18 (2020).MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},Theor。计算。科学。802,1-18(2020;Zbl 1436.68079) 全文: 内政部 arXiv公司
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 图灵机器程序的程序代数。 (英语) Zbl 1513.68016号 科学。Ann.计算。科学。 29,第2期,113-139(2019).MSC公司:04年第68季度 03日第10天 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},科学。Ann.计算。科学。29,No.2,113--139(2019;Zbl 1513.68016) 全文: 内政部 arXiv公司
Jan A.Bergstra。 用于单位寄存器计算的指令序列类的定量表示。 (英语) Zbl 1445.68048号 计算。科学。J.模具。 27,第2号(80),131-161(2019).MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra},计算。科学。J.模具。27,第2号(80),131--161(2019;Zbl 1445.68048) 全文: 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年;兹bl 1427.68181) 全文: 内政部 arXiv公司
Jan A.Bergstra。;科内利斯·A·米德尔堡。 带布尔寄存器指令的程序代数简介。 (英语) Zbl 1445.68049号 计算。科学。J.模具。 26,第3号(78),199-232(2018).MSC公司:68号30 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},计算。科学。J.模具。26,第3号(78),199--232(2018;Zbl 1445.68049) 全文: arXiv公司 链接
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 表示乘法算法的指令序列。 (英语) Zbl 1424.68034号 科学。Ann.计算。科学。 28,第1号,39-66(2018).MSC公司:68号30 2005年第68季度 68周05 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},科学。Ann.计算。科学。28,第1号,39--66(2018;Zbl 1424.68034) 全文: 内政部 arXiv公司
Jan A.Bergstra。;阿尔班·蓬塞 符号对合草地背景下的概率函数(扩展摘要)。 (英语) Zbl 1453.68105号 James,Phillip(编辑)等人,代数开发技术的最新趋势。2016年9月21日至24日,第23届IFIP工作组1.3国际研讨会,WADT 2016,英国格雷戈诺格。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。10644, 73-87 (2017).MSC公司:第68季度第65季度 60A05型 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse},莱克特。注释计算。科学。10644,73--87(2017;Zbl 1453.68105) 全文: 内政部 arXiv公司
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 单程指令序列行为一致性公理。 (英语) Zbl 1424.68027号 科学。Ann.计算。科学。 27,第2期,111-135(2017).MSC公司:68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},科学。Ann.计算。科学。27,编号2111-135(2017;兹bl 1424.68027) 全文: 内政部 arXiv公司
Jan A.Bergstra。;英格·贝斯克 草地品种的亚变种。 (英语) Zbl 1424.68095号 科学。Ann.计算。科学。 2017年第1期第27页第1-18页.MSC公司:第68季度第65季度 03C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{I.Bethke},科学。Ann.计算。科学。27,第1号,1--18(2017;Zbl 1424.68095) 全文: 内政部 arXiv公司
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 带有命题信号的容错过程代数。 (英语) Zbl 1377.68143号 芬丹。通知。 153,编号1-2,29-55(2017).MSC公司:68问题85 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},Fundam。通知。153,编号1--2,29-55(2017;Zbl 1377.68143) 全文: 内政部 arXiv公司
Jan A.Bergstra。;英格·贝斯克 有理数草甸代数规范的否定结果。 (英语) 兹比尔1441.68136 van Eijck,Jan(编辑)等人,《阿尔贝蒂友好图书馆》。向阿尔伯特·维瑟致敬。伦敦:学院出版物。致敬30,31-35(2016)。MSC公司:第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{I.Bethke},《致敬》30,31-35(2016;Zbl 1441.68136) 全文: arXiv公司
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 一种由断言的单程指令序列组成的类似霍尔的逻辑。 (英语) Zbl 1424.68033号 科学。Ann.计算。科学。 26,第2期,125-156(2016).MSC公司:68号30 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},科学。Ann.计算。科学。26,第2号,第125-156条(2016;Zbl 1424.68033) 全文: 内政部 arXiv公司
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 关于程序代数中布尔寄存器的指令集。 (英语) Zbl 1424.68032号 科学。Ann.计算。科学。 26,第1号,1-26(2016).MSC公司:68号30 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},科学。Ann.计算。科学。26,第1号,1-26(2016;Zbl 1424.68032) 全文: 内政部 arXiv公司
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 奇偶校验的指令序列大小复杂性。 (英语) Zbl 1373.68218号 芬丹。通知。 149,第3号,297-309(2016).MSC公司:2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},Fundam。通知。149,第3号,297--309(2016;Zbl 1373.68218) 全文: 内政部 arXiv公司
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 在分裂草甸中将分数转换为简单分数。 (英语) Zbl 1401.68210号 J.应用。日志。 92年2月16日至110日(2016年).MSC公司:第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},J.Appl。日志。16、92——110(2016;Zbl 1401.68210) 全文: 内政部 arXiv公司
Jan A.Bergstra。;阿尔班·蓬塞 约化交换环上的分数和分数。 (英语) Zbl 1348.13012号 印度。数学。,新序列号。 27,第3期,727-748(2016). 审核人:Mihai Prunescu(布加勒斯特) MSC公司:13二氧化碳 2012年第68季度 第16章第15节 PDF格式BibTeX公司 XML格式引用 \印第安纳州textit{J.A.Bergstra}和\textit{A.Ponse}。数学。,新序列号。27,第3号,727--748(2016;Zbl 1348.13012) 全文: 内政部 arXiv公司
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 概率线程代数。 (英语) Zbl 1424.68031号 科学。Ann.计算。科学。 25,第2期,211-243(2015).MSC公司:68号30 2010年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},科学。Ann.计算。科学。25,第2号,211--243(2015;Zbl 1424.68031) 全文: 内政部 arXiv公司
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 关于计算位串函数的指令序列的算法等价性。 (英语) Zbl 1334.68313号 芬丹。通知。 138,第4期,411-434(2015).MSC公司:68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},Fundam。通知。138,编号4411-434(2015年;兹bl 1334.68313) 全文: 内政部 arXiv公司
Jan A.Bergstra。;阿尔班·蓬塞 在普通草地上被零除。 (英语) Zbl 1453.68104号 De Nicola,Rocco(编辑)等人,《软件、服务和系统》。马丁·威辛(Martin Wirsing)于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆:斯普林格。莱克特。注释计算。科学。8950,46-61(2015年)。MSC公司:第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse},莱克特。注释计算。科学。8950,46-61(2015;Zbl 1453.68104) 全文: 内政部 arXiv公司 链接
Jan A.Bergstra。;英格·贝斯克;阿尔班·蓬塞 形式上真实草地的方程式。 (英语) Zbl 1350.68189号 J.应用。日志。 13,第2号,B部分,1-23(2015).MSC公司:第68季度第65季度 03C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}等人,J.Appl。日志。13,第2号,B部分,1--23(2015;Zbl 1350.68189) 全文: 内政部 arXiv公司
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 在非进化草甸中被零除。 (英语) Zbl 1401.68209号 J.应用。日志。 第1期第13页,第1-12页(2015年).MSC公司:第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},J.Appl。日志。13、第1号、第1-12号(2015;Zbl 1401.68209) 全文: 内政部 arXiv公司
伯格斯特拉(Jan Bergstra);科内利斯米德尔堡 基于指令序列的非均匀复杂性类。 (英语) Zbl 1424.68036号 科学。Ann.计算。科学。 24,第1期,47-89(2014).MSC公司:68号30 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Bergstra}和\textit{C.Middelburg},科学。Ann.计算。科学。24,第1号,47--89(2014;Zbl 1424.68036) 全文: 内政部 arXiv公司
伯格斯特拉(Jan Bergstra);科内利斯米德尔堡 时间元组演算和Wesseling和van den Bergh方程。 (英语) Zbl 1424.91149号 科学。Ann.计算。科学。 2013年第2期第23号,169-190.MSC公司:91克30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Bergstra}和\textit{C.Middelburg},科学。Ann.计算。科学。23,第2号,169--190(2013;Zbl 1424.91149) 全文: 内政部
伯格斯特拉(Jan Bergstra);扬·威廉·克鲁普;简·拉特 1939年至2012年,杰科·德·巴克的讣告。 (英语) Zbl 1395.01039号 牛市。欧洲协会。计算。科学。EATCS公司 109, 14-16 (2013).MSC公司:01A70号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{J.Bergstra}等人,公牛。欧洲协会。计算。科学。EATCS 109、14--16(2013;Zbl 1395.01039) 全文: 链接
伯格斯特拉,J.A。;加利福尼亚州米德尔堡。 数据链接代数、数据链接动态和优先级重写。 (英语) Zbl 1286.68129号 芬丹。通知。 128,第4期,367-412(2013).MSC公司:2005年第68季度 68第05页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},Fundam。通知。128,第4号,367--412(2013;Zbl 1286.68129) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 具有有限理解项的过程微积分。 (英语) Zbl 1283.68233号 理论计算。系统。 53,第4期,第645-668页(2013年). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},理论计算。系统。53,第4号,645--668(2013;Zbl 1283.68233) 全文: 内政部 arXiv公司
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 间接跳转提高指令序列性能。 (英语) Zbl 1424.68026号 科学。Ann.计算。科学。 22,第2期,253-265(2012).MSC公司:68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},科学。Ann.计算。科学。22,No.2,253--265(2012;Zbl 1424.68026) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 执行中指令序列产生的行为。 (英语) Zbl 1256.68041号 芬丹。通知。 120,第2期,111-144(2012).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},Fundam。通知。120,No.2,111--144(2012;Zbl 1256.68041) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 关于单程指令序列的表达性。 (英语) Zbl 1278.68032号 理论计算。系统。 50,编号2131-328(2012).MSC公司:2007年7月68日 2005年第68季度 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},理论计算。系统。50,编号21313-328(2012年;兹bl 1278.68032) 全文: 内政部
Jan A.Bergstra。;英格·贝斯克 关于向后跳转对指令序列表达的贡献。 (英语) 兹比尔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 1279.68075号 学报信息。 第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) 全文: 内政部
Jan A.Bergstra。;科内利斯·A·米德尔堡。 计算机科学的指令序列。 (英语) Zbl 1305.68008号 亚特兰蒂斯计算机研究2.巴黎:亚特兰蒂斯出版社(ISBN 978-94-91216-64-0/hbk;978-94.91216-65-7/电子书)。十六、229页。(2012). 审核人:约格·德塞尔(哈根) MSC公司:68-02 第68季度第65季度 2005年第68季度 68问题85 2007年7月68日 68新元 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},计算机科学的指令序列。巴黎:亚特兰蒂斯出版社(2012;Zbl 1305.68008)
Jan A.Bergstra。;阿尔班·蓬塞 命题代数和短路逻辑。 (英语) Zbl 1354.03035号 Arbab,Farhad(编辑)等人,《软件工程基础》,第四届IPM国际会议,FSEN 2011,伊朗德黑兰,2011年4月20日至22日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-29319-1/pbk)。计算机科学讲义714115-31(2012)。MSC公司:03B70号 03B05号 03G25 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse},莱克特。注释计算。科学。7141,15--31(2012;Zbl 1354.03035) 全文: 内政部
伯格斯特拉(Jan Bergstra);科内利斯米德尔堡 多变量指令序列的线程提取。 (英语) 兹比尔1424.68035 科学。Ann.计算。科学。 21,第2期,283-310(2011).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Bergstra}和\textit{C.Middelburg},科学。Ann.计算。科学。21,第2号,283--310(2011;Zbl 1424.68035)
Jan A.Bergstra。;阿尔班·蓬塞 命题代数。 (英语) Zbl 1352.03040号 ACM事务处理。计算。日志。 第12号第3条第21条第36页(2011年).MSC公司:03B70号 03G25 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse},ACM Trans。计算。日志。12,第3号,第21条,36页(2011;Zbl 1352.03040) 全文: 内政部 arXiv公司
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) 全文: 内政部
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 1217.68058号 芬丹。通知。 103,编号1-4,31-52(2010).MSC公司:68号30 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},Fundam。通知。103,编号1--4,31-52(2010;Zbl 1217.68058) 全文: 内政部
Jan A.Bergstra。;科内利斯·A·米德尔堡。 流程组件的接口组。 (英语) Zbl 1204.68134号 芬丹。通知。 99,第4期,355-382(2010).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},Fundam。通知。99,第4号,355--382(2010;Zbl 1204.68134) 全文: 内政部
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.伯格斯特拉。;加利福尼亚州米德尔堡。 关于负载/存储架构的操作单元大小。 (英语) 兹伯利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.伯格斯特拉。;庞塞,A。 具有对合反自同构的指令序列半群。 (英语) Zbl 1424.68037号 科学。Ann.计算。科学。 19, 57-92 (2009).MSC公司:68号30 20M99型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse},科学。Ann.计算。科学。19、57-92(2009年;Zbl 1424.68037)
Jan A.Bergstra。;科内利斯·A·米德尔堡。 带有动态实例化指令的指令序列。 (英语) Zbl 1200.68069号 芬丹。通知。 96,第1-2、27-48号(2009年).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},Fundam。通知。96,编号1--2,27-48(2009;Zbl 1200.68069) 全文: 内政部
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.伯格斯特拉。;加利福尼亚州米德尔堡。 指令流的传输协议。 (英语) Zbl 1250.68183号 Leucker,Martin(编辑)等人,《计算的理论方面——ICTAC 2009》。第六届国际学术讨论会,马来西亚吉隆坡,2009年8月16日至20日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03465-7/pbk)。计算机科学讲座笔记5684127-139(2009)。MSC公司:60年第68季度 68个M12 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},莱克托。注释计算。科学。5684、127--139(2009年;Zbl 1250.68183) 全文: 内政部
J.A.伯格斯特拉。;Y.Hirshfeld。;J.V.塔克。 草甸和等式划分规范。 (英语) Zbl 1172.68039号 西奥。计算。科学。 410,编号12-13,1261-1271(2009).MSC公司:第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}等人,Theor。计算。科学。410,编号12--131261--1271(2009;Zbl 1172.68039) 全文: 内政部 arXiv公司
伯格斯特拉,J.A。;A.Ponse。;Van Der Zwaag,医学博士。 Tuplix演算。 (英语) Zbl 1424.68098号 科学。Ann.计算。科学。 18, 35-61 (2008).MSC公司:68问题85 91G99型 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}等人,科学。Ann.计算。科学。18、35-61(2008年;Zbl 1424.68098)
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 具有隐式计算资本的并行过程。 (英语) Zbl 1279.68248号 Palamidessi,Catuscia(ed.)等人,《LIX并发理论新兴趋势研讨会论文集》(LIX 2006),法国巴黎,2006年11月13日至15日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记209,55-81(2008)。MSC公司:68问题85 91B64型 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},电子。理论注释。计算。科学。209、55-81(2008年;Zbl 1279.68248) 全文: 内政部
J.A.伯格斯特拉。;J.V.塔克。 合计字段中的分区安全计算。 (英语) Zbl 1162.68479号 理论计算。系统。 43,编号3-4,410-424(2008).MSC公司:第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{J.V.Tucker},理论计算。系统。43,编号3--4,410-424(2008;Zbl 1162.68479) 全文: 内政部
伯格斯特拉,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公司
Jan A.Bergstra。;英格·贝斯克;阿尔班·蓬塞 线程代数和风险评估服务。 (英语) Zbl 1149.68022号 Dimitracopoulos,Costas(编辑)等人,2005年逻辑学术讨论会。符号逻辑协会(ASL)欧洲夏季年会会议记录,希腊雅典,2005年7月28日至8月3日。剑桥:剑桥大学出版社;伊利诺伊州乌尔班纳:符号逻辑协会(ASL)(ISBN 978-0-521-88425-9/hbk)。逻辑课堂讲稿28,1-17(2008)。MSC公司:68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}等人,Lect。备注日志。28、1-17(2008年;Zbl 1149.68022)
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) 全文: 内政部 链接
伯格斯特拉(Jan Bergstra);约拉姆·赫什菲尔德;约翰·塔克 字段、草地和抽象数据类型。 (英语) Zbl 1134.68034号 Avron,Arnon(编辑)等人,《计算机科学的支柱》。在鲍里斯(波阿斯)·特拉赫滕布罗特85岁生日之际,为他撰写的论文。柏林:施普林格出版社(ISBN 978-3-540-78126-4/pbk)。计算机科学讲座笔记4800166-178(2008)。MSC公司:第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Bergstra}等人,Lect。注释计算。科学。4800166--178(2008年;Zbl 1134.68034) 全文: 内政部
伯格斯特拉,J.A。;加利福尼亚州米德尔堡。 使用分子动力学编程解释器。 (英语) Zbl 1349.68049号 科学。Ann.计算。科学。 17, 47-81 (2007).MSC公司:68号30 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},科学。Ann.计算。科学。17、47——81(2007年;Zbl 1349.68049)
伯格斯特拉,J.A。;加利福尼亚州米德尔堡。 带有间接跳转的指令序列。 (英语) Zbl 1349.68048号 科学。Ann.计算。科学。 17, 19-46 (2007).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},科学。Ann.计算。科学。17、19-46(2007年;Zbl 1349.68048)
Jan A.Bergstra。;J.V.塔克。 有理数作为抽象数据类型。 (英语) Zbl 1292.68105号 美国临床医学杂志 54,第2号,第7条,第25页(2007年).MSC公司:第68季度第65季度 16B99型 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和textit{J.V.Tucker},J.ACM 54,第2号,第7条,25页(2007;Zbl 1292.68105) 全文: 内政部
Jan A.Bergstra。;科内利斯·A·米德尔堡。 带有单线程控制的Maurer计算机。 (英语) Zbl 1128.68039号 芬丹。通知。 80,第4号,333-362(2007).MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},Fundam。通知。80,第4号,333--362(2007;Zbl 1128.68039)
伯格斯特拉,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 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,第4445-474号(2007年;兹bl 1131.68067) 全文: 内政部
伯格斯特拉(Jan Bergstra)(编辑);马克·伯吉斯(编辑) 网络和系统管理手册。 (英语) Zbl 1147.68300号 阿姆斯特丹:爱思唯尔出版社(ISBN 978-0-444-52198-9)。x、 第1016页。(2007年)。MSC公司:68-00 68M99型 68M10个 68个M12 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{J.Bergstra}(编辑)和\textit{M.Burgess}(主编),《网络和系统管理手册》。阿姆斯特丹:爱思唯尔(2007;Zbl 1147.68300) 全文: 链接
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 具有多级策略交错的线程代数。 (英语) Zbl 1127.68066号 理论计算。系统。 41,第1期,第3-32页(2007年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},理论计算。系统。41,第1号,第3--32号(2007;Zbl 1127.68066) 全文: 内政部
Jan A.Bergstra。;英格·贝斯克;阿尔班·蓬塞 下推线程的决策问题。 (英语) Zbl 1120.68077号 学报信息。 44,No.2,75-90(2007).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}等人,《信息学报》第44卷第2期,第75-90页(2007年;Zbl 1120.68077) 全文: 内政部
Jan A.Bergstra。;阿尔班·蓬塞 程序代数的执行体系结构。 (英语) Zbl 1116.68024号 J.应用。日志。 170-192年第1期第5页(2007年).MSC公司:68号30 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse},J.Appl。日志。5,第1号,170--192(2007;Zbl 1116.68024) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 优先选择和协调条件。 (英语) Zbl 1106.68071号 J.日志。阿尔盖布。程序。 70,第2期,172-200(2007).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},J.Log。阿尔盖布。程序。70,第2号,172--200(2007;Zbl 1106.68071) 全文: 内政部
Jan A.Bergstra。;约翰·V·塔克。 有理复数的基本代数规范。 (英语) Zbl 1132.68485号 Futatsugi,Kokichi(编辑)等人,《代数、意义和计算》。在约瑟夫·A·戈根65岁生日之际为他撰写的论文。柏林:施普林格出版社(ISBN 3-540-35462-X/pbk)。计算机科学课堂讲稿4060459-475(2006)。MSC公司:第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和textit{J.V.Tucker},莱克特。注释计算。科学。4060459-475(2006年;Zbl 1132.68485) 全文: 内政部
J.A.伯格斯特拉。 有理函数域的基本代数规范。 (英语) Zbl 1145.68465号 Beckmann,Arnold(编辑)等人,《计算障碍的逻辑方法》。2006年6月30日至7月5日,在英国斯旺西举行的2006年欧洲可计算性第二次会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-35466-2/pbk)。计算机科学课堂讲稿3988,40-54(2006)。MSC公司:第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra},莱克特。注释计算。科学。3988、40-54(2006年;Zbl 1145.68465) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 拆分共刺激和回顾性条件。 (英语) Zbl 1104.68070号 Inf.计算。 204,第7号,1083-1138(2006).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},Inf.Compute。204,第7号,1083--1138(2006;Zbl 1104.68070) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 多层次策略的线程代数。 (英语) Zbl 1095.68061号 芬丹。通知。 71,编号2-3,153-182(2006).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},Fundam。通知。71,编号2--3,153-182(2006;Zbl 1095.68061)
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 连续性控制的混合自动机。 (英语) Zbl 1088.68085号 J.日志。阿尔盖布。程序。 68,编号1-2,5-53(2006).MSC公司:第68季度第45季度 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 1182.68054号 Inf.流程。莱特。 94,第6期,267-269(2005).MSC公司:68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{I.Bethke},Inf.过程。莱特。94,第6267-269号(2005年;兹bl 1182.68054) 全文: 内政部
Jan A.Bergstra。;米德尔堡,C.A.(Kees) 进程代数的模型理论。 (英语) Zbl 1171.68561号 Middeldorp,Aart(编辑)等人,《过程、术语和循环:通向无限的道路上的步骤》。在简·威廉·克洛普60岁生日之际,为他撰写的论文。柏林:施普林格出版社(ISBN 3-540-30911-X/pbk)。计算机科学课堂讲稿3838445-495(2005)。MSC公司:68问题85 03C98号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},莱克托。注释计算。科学。3838445-495(2005年;兹bl 1171.68561) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 强分裂互模拟等价。 (英语) 兹比尔1151.68504 JoséLuiz Fiadeiro等人,《计算机科学中的代数和余代数》。第一届国际会议,2005年CALCO,2005年9月3日至6日,英国斯旺西。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28620-9/pbk)。计算机科学课堂讲稿362983-97(2005)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},莱克托。注释计算。科学。3629、83-97(2005年;Zbl 1151.68504) 全文: 内政部
Jan A.Bergstra。;米德尔堡,C.A.(Kees) 具有多级策略交错的线程代数。 (英语) Zbl 1113.68426号 Cooper,S.Barry(编辑)等人,《新计算范式》。欧洲可计算性第一次会议,2005年6月8日至12日,荷兰阿姆斯特丹,CiE 2005。诉讼程序。柏林:施普林格出版社(ISBN 3-540-26179-6/pbk)。计算机科学课堂讲稿3526,35-48(2005)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},莱克托。注释计算。科学。3526、35-48(2005年;Zbl 1113.68426) 全文: 内政部
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-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) 全文: 内政部 链接
J.A.伯格斯特拉。;我·贝斯克。 Java中的网络代数。 (英语) Zbl 1074.68537号 J.日志。阿尔盖布。程序。 62,第2期,247-271(2005).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{I.Bethke},J.Log。阿尔盖布。程序。62,第2号,247--271(2005;Zbl 1074.68537) 全文: 内政部
Jan A.Bergstra。 基于机器功能的控制代码代数。 (英语) Zbl 1104.68407号 de Boer,Frank S.(编辑)等人,组件和对象的形式化方法。第二届国际研讨会,2003年FMCO,荷兰莱顿,2003年11月4-7日。修订的讲座。柏林:施普林格出版社(ISBN 3-540-22942-6/pbk)。计算机科学课堂讲稿318817-41(2004)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra},莱克特。注释计算。科学。3188,17-41(2004;Zbl 1104.68407) 全文: 内政部
Jan A.Bergstra。;科内利斯·A·米德尔堡。 在进程代数中定位带有计时的动作。 (英语) Zbl 1098.68085号 芬丹。通知。 61,第3-4183-211号(2004年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},Fundam。通知。61,编号3--4,183-211(2004;Zbl 1098.68085)
Jan A.Bergstra。;阿尔班·蓬塞;范德兹瓦格,马克B。 分支时间和正交互模拟等价性。 (英语) Zbl 1070.68100号 西奥。计算。科学。 309,编号1-3,313-355(2003).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}等人,Theor。计算。科学。309,编号1--3313--355(2003;Zbl 1070.68100) 全文: 内政部
Jan A.Bergstra。;英格·贝斯克 极化进程代数和程序等价。 (英语) Zbl 1039.68040号 Baeten,Jos C.M.(编辑)等人,《自动化,语言和编程》。2003年6月30日至7月4日在荷兰埃因霍温举行的第30届国际学术讨论会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40493-7/pbk)。莱克特。注释计算。科学。2719, 1-21 (2003).MSC公司:68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{I.Bethke},莱克特。注释计算。科学。2719,1--21(2003;Zbl 1039.68040) 全文: 链接
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。;阿尔班·蓬塞 结合程序和状态机。 (英语) 兹比尔1008.68068 J.日志。阿尔盖布。程序。 51,第2期,175-192(2002).MSC公司:第68季度第45季度 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 1323.68401号 美国临床医学杂志 48,第6期,1207-1241(2001).MSC公司:68问题85 03B25号 03B70号 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse},J.ACM 48,第6期,1207--1241(2001;Zbl 1323.68401) 全文: 内政部
Jan A.Bergstra。;阿尔班·蓬塞 过程代数和条件合成。 (英语) Zbl 1003.68091号 Inf.流程。莱特。 80,第1期,第41-49页(2001年).MSC公司:68问题85 68问题55 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse},信息处理。莱特。80,第1号,41-49(2001;Zbl 1003.68091) 全文: 内政部
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) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。;Usenko,Y.S。 离散时间进程代数和SDL的语义。 (英语) Zbl 1020.68063号 Bergstra,Jan A.(编辑)等人,《过程代数手册》。阿姆斯特丹:北荷兰/爱思唯尔。1209-1268 (2001).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}等人,in:过程代数手册。阿姆斯特丹:北荷兰/爱思唯尔。1209--1268(2001年;Zbl 1020.68063)