阿斯特里德·贝尔德；巴斯·卢提克；乔斯·巴滕 排序和中间接受：公理化和双相似性的可判定性。 （英语） Zbl 07649894号 Roggenbach，Markus（ed.）等人，第八届计算机科学中的代数和余代数会议，2019年CALCO，英国伦敦，2019月3日至6日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。139，第11条，第22页（2019年）。MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Belder}等人，LIPIcs——莱布尼茨国际程序。通知。139，第11条，第22页（2019年；Zbl 07649894） 全文： 内政部
乔斯·巴滕；巴斯·卢提克；杨菲 存在中间终止的顺序合成（扩展摘要）。 （英语） Zbl 1483.68221号 Peters，Kirstin（编辑）等人，《第24届并发表达性国际研讨会和第14届结构操作语义研讨会联合会议论文集》，EXPRESS/SOS 2017，德国柏林，2017年9月4日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）255，1-17（2017）。MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Baeten}等人，《电子》。程序。西奥。计算。科学。（EPTCS）255，1--17（2017；Zbl 1483.68221） 全文： arXiv公司 链接
马可夫斯基，J。；达赫尼奥，P.R。；巴顿，J.C.M。；德文克，E.P。 协调实时和随机时间：对概率求精的需要。 （英语） Zbl 1259.68147号 正式Asp。计算。 24，编号4-6，497-518（2012）.MSC公司：68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Markovski}等人，正式Asp。计算。24，编号4--6497--518（2012；Zbl 1259.68147） 全文： 内政部
巴顿，J.C.M。；雷尼尔斯，M.A。 过程代数中常数的重复。 （英语） Zbl 1106.68069号 J.日志。阿尔盖布。程序。 70，第2期，151-171（2007）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}和\textit{M.A.Reniers}，J.Log。阿尔盖布。程序。70，第2号，151--171（2007；Zbl 1106.68069） 全文： 内政部 链接
巴顿，J.C.M。 进程代数的简史。 （英语） Zbl 1080.68072号 西奥。计算。科学。 335，编号2-3，131-146（2005）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \文本{J.C.M.Baeten}，Theor。计算。科学。335，编号2--3，131-146（2005；Zbl 1080.68072） 全文： 内政部 链接
巴顿，J.C.M。 将untimed嵌入到时间进程代数中；明确终止的情况。 （英语） Zbl 1260.68256号 Aceto，Luca（编辑）等人，EXPRESS'00:第七届并发表达性国际研讨会。CONCUR 2000卫星研讨会会议记录，美国宾夕法尼亚州大学公园，2000年8月21日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》39，第1期，3-20（2003）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}，电子。注释Theor。计算。科学。39，第1号，第3--20号（2003；Zbl 1260.68256） 全文： 内政部
巴顿，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,38号（2001年；兹bl 0992.68152） 全文： 内政部
巴顿，J.C.M。；J.A.伯格斯特拉。 带有命题信号的过程代数。 （英语） Zbl 0901.68117号 西奥。计算。科学。 177，第2期，381-405（1997）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}和\textit{J.A.Bergstra}，Theor。计算。科学。177，第2号，381--405（1997；Zbl 0901.68117） 全文： 内政部
巴顿，J.C.M。；J.A.伯格斯特拉。 离散时间过程代数。 （英语） Zbl 0849.68033号 正式Asp。计算。 8，第2期，188-208（1996）.MSC公司：第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}和textit{J.A.Bergstra}，正式Asp。计算。8，第2号，188--208（1996；Zbl 0849.68033） 全文： 内政部
巴顿，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 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}和textit{J.A.Bergstra}，正式Asp。计算。6，第3号，250--268（1994；Zbl 0942.68608） 全文： 内政部
巴顿，J.C.M。；J.A.伯格斯特拉。 实空间进程代数。 （英语） 兹比尔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，第6号，481--529（1993；Zbl 0942.68607） 全文： 内政部