摘要
R.Hauser、M.Friess、J.M.Kuster和J.Vanhatalo。 将非结构化工作流的分析与向结构化工作流的转换相结合。 在 第十届IEEE国际企业分布式对象计算会议记录 ，第129-140页，美国华盛顿特区，2006年。 IEEE计算机学会。 谷歌学者 
数字图书馆 
C.A.R.霍尔。 通信顺序过程 普伦蒂斯·霍尔，1985年。 谷歌学者 数字图书馆 B.Kiepuszewski、A.H.M.t.Hofstede和C.Bussler。 结构化工作流建模。 在 第十二届先进信息系统工程国际会议论文集 ，CAiSE’00，第431-445页，英国伦敦，2000年。 斯普林格·弗拉格。 谷歌学者 数字图书馆 R.Liu和A.Kumar。 非结构化工作流的分析和分类。 编辑W.M.P.van der Aalst、B.Benatallah、F.Casati和F.Curbera， 业务流程管理 ，第3649卷，共页 LNCS公司 ，第268-284页，2005年。 谷歌学者 数字图书馆 A.W.罗斯科。 并发的理论与实践 普伦蒂斯·霍尔，1997年。 谷歌学者 数字图书馆 A.Rozinat和W.M.P.van der Aalst。 基于监控实际行为的流程一致性检查。 信息系统 , 33:64--95, 2008. 谷歌学者 数字图书馆 M.van der Aalst、Wil M.P.和Dumas、C.Ouyang、A.Rozinat和E.Verbeek。 服务行为的一致性检查。 ACM事务处理。 互联网技术 ., 8:13:1--13:30, 2008. 谷歌学者 数字图书馆 W.M.P.Van Der Aalst、A.H.M.Ter Hofstede、B.Kiepuszewski和A.P.Barros。 工作流模式。 分布式并行数据库 , 14(1):5--51, 2003. 谷歌学者 数字图书馆 P.Wong和J.Gibbons。 一种用于工作流规范和细化的过程代数方法。 在 软件组成 ，第4829卷，共页 计算机科学课堂讲稿 ，第51-65页，2007年。 谷歌学者 数字图书馆 M.Y.Yao、A.Petrenko和G.von Bochmann。 协议机器的一致性测试，无需重置。 在 公共电视台 ，第C-16卷，共 IFIP交易 ，第241-256页。 北荷兰，1993年。 谷歌学者 数字图书馆
索引术语
使用CSP的过程一致性
建议
CSP业务流程一致性检查理论框架 APSEC’12：2012年第19届亚太软件工程会议记录-第01卷 在本文中，我们解决了一致性检查的问题，该问题验证事件日志（观察到的）是否匹配/适合引用（任意）进程。 我们使用通信顺序过程（CSP）的概念，这有助于自动化分析。。。 关于模型选择CSP细化试验的极限 摘要 细化检查，如FDR、PAT和ProB等工具中所体现的，是CSP过程的模型选择细化闭合谓词的一种流行方法。 我们考虑了这种方法对这类谓词进行模型检查的局限性。 签署人。。。
