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 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) 全文: 内政部
J.A.伯格斯特拉。;Loots,M.E.先生。 组件代码的程序代数。 (英语) Zbl 0964.68509号 正式Asp。计算。 12,第1期,第1-17页(2000年)。MSC公司:68甲15 68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{M.E.Loots},正式Asp。计算。12,第1号,1-17(2000;Zbl 0964.68509) 全文: 内政部
巴顿,J.C.M。;J.A.伯格斯特拉。 离散时间过程代数。 (英语) 兹比尔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,第2号,188--208(1996;Zbl 0849.68033) 全文: 内政部
巴顿,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.伯格斯特拉。 实空间进程代数。 (英语) 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,第6号,481--529(1993;Zbl 0942.68607) 全文: 内政部
巴顿,J.C.M。;J.A.伯格斯特拉。 实时进程代数。 (英语) Zbl 0719.68020号 形式方面计算。 3,第2期,142-188(1991)。MSC公司:2010年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}和textit{J.A.Bergstra},正式Asp。计算。3,第2号,142--188(1991;Zbl 0719.68020) 全文: 内政部