Peter Y.H.Wong。;杰里米·吉本斯 工作流建模的属性规范。 (英语) Zbl 1216.68165号 科学。计算。程序。 76,第10期,942-967(2011).MSC公司:第68季度第60季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Y.H.Wong}和\textit{J.Gibbons},科学。计算。程序。76,第10号,942--967(2011;Zbl 1216.68165) 全文: 内政部
Peter Y.H.Wong。;杰里米·吉本斯 BPMN的形式化和应用。 (英语) Zbl 1213.68212号 科学。计算。程序。 76,第8期,633-650(2011).MSC公司:68号30 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Y.H.Wong}和\textit{J.Gibbons},科学。计算。程序。76,第8号,633--650(2011;Zbl 1213.68212) 全文: 内政部
杰里米·吉本斯 变形:流表示转换。 (英语) Zbl 1109.68037号 科学。计算。程序。 65,第2期,108-139(2007).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.Gibbons},科学。计算。程序。65,No.2,108--139(2007;Zbl 1109.68037) 全文: 内政部 链接
杰里米·吉本斯 一般向下堆积。 (英语) Zbl 0954.68023号 科学。计算。程序。 37,编号1-3,37-65(2000).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.Gibbons},科学。计算。程序。37,编号1--3,37-65(2000;Zbl 0954.68023) 全文: 内政部
奥格·德穆尔;杰里米·吉本斯 缩小算法差距:用于段落格式的线性时间函数程序。 (英语) Zbl 0948.68039号 科学。计算。程序。 35,第1期,3-27(1999).MSC公司:68甲18 68周05 PDF格式BibTeX公司 XML格式引用 \textit{O.de Moor}和\textit{J.Gibbons},科学。计算。程序。35,第1号,第3--27号(1999;Zbl 0948.68039) 全文: 内政部
杰里米·吉本斯;蔡文通;大卫·B·斯基利科恩。 树累加的高效并行算法。 (英语) Zbl 0942.68798号 科学。计算。程序。 23,第1期,第1-18页(1994年).MSC公司:68宽10 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.Gibbons}等人,科学。计算。程序。23,编号1,1--18(1994;Zbl 0942.68798) 全文: 内政部
R.S.伯德。;J·吉本斯。;琼斯,G。 模式匹配算法的形式化推导。 (英语) Zbl 0679.68011号 科学。计算。程序。 12,第2期,93-104(1989). 审核人:L.布里姆 MSC公司:68号01 第68季度第60季度 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{R.S.Bird}等人,科学。计算。程序。12,No.2,93--104(1989;Zbl 0679.68011) 全文: 内政部