{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期段”：[[2022,3,29]]，“日期时间”：“2022-03-29T19:43:46Z”，“时间戳”：1648583026191}，“引用计数”：22，“发布者”：“Elsevier BV”，“问题”：“2”，“许可证”：[{“开始”：{:“日期段-09-01T00:00:00Z“，”时间戳“：1251763200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,29]]，“date-time”：“2013-07-29T00:00:00Z”，“timestamp”：13750560000}，“content-version”：“vor”，“delay-in-days”：1427，“URL”：“http://\/creativecommons.org\/licenses \/by-nc-nd \/3.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“理论计算机科学中的电子笔记”]，“published-print”：{“date-parts”：[[2009,9]]}，”DOI“：”10.1016\/j.entcs.2009.08.018“，”type“：”journal-article“，”created“：{”date-part“：[2009,9,2]，”date-time“：”2009-09-02T08:48:25Z“，”timestamp“：1251881305000}“page”：“69-84”，“source”：“Crossref”，“is-referenced-by-count”：1，“title”：[“CSP-CASL-Prover:A Generic Tool for Process and Data Refinement”]，“prefix”：“10.1016”，“volume”：“250”，“author”：[{“给定”：“Liam”，“family”：“O'Reilly”，“sequence”：“first”，“affiliation”：[]}，{“given”：family“：”Isobe“，”sequence“：“additional”，“affiliation”：[]}]，“member”：“78”，“reference”：[{“issue”：“3”，“key”：“10.1016\/j.entcs.2009.08.018_bib001”，“doi-asserted-by”：“crossref”，“first-page”：“342”，“doi”：“101007\/s00165-005-0070-0”，“article-title”：“验证\u03bcCRL和PVS中的滑动窗口协议”，“volume”：《17》，“author”：“Badban”，“年份”：“2005年”，“新闻标题”：“计算的形式方面”}，｛“key”：“10.1016\/j.entcs.2009.08.018_bib002”，“非结构化”：“eft\/pos 2000规范，1.0.1版。EP2 Consortium，2002年“}，{“key”：“10.1016\/j.entcs.2009.08.018_bib003”，“非结构化”：“Andy Gimblett.CSP-CASL工具支持，2008。硕士论文，斯旺西大学“}，{“key”：“10.1016\/j.entcs.2009.08.018_bib004”，“doi断言”：“crossref”，“非结构化”：“j.F.Groote和A.Ponse。\u03bcCRL的语法和语义。在通信过程代数'94中，计算系列研讨会，第26\u201362页。Springer，1995年“，”DOI“：”10.1007\/978-1-4471-2120-6_2“}，{“key”：“10.1016\/j.entcs.2009.08.018_bib005”，“series-title”：“WADT 2004”，“first page”：”61“，”article-title“：”在Csp-Casl中实现电子支付系统的正式规范“，”volume“：”3423“，”author“：”Gimblett“，”year“：”2005“}”，{”key“：_bib007“，”series-title“：”通信顺序过程”，“author”：“Hoare”，“year”：“1985”}，{“key”：“10.1016\/j.entcs.2009.08.018_bib008”，”series-title“：“TACAS 2005”，”first page“：”108“，”article-title“：“CSP求精的一般定理证明器”，“volume”：”3440“，”author“：”Isobe“，”year“：”2005 title“：”CONCUR'06“，”首页“：”158“，”article-title“：”CSP stable-failures模型的完整公理语义“，”volume“：”4137“，”author“：”Isobe“，”year“：”2006“}，{“key”：“10.1016\/j.entcs.2009.08.018_bib010”，”first page“：2008”，“journal-title”：“JSSST（日本软件科学与技术学会）计算机软件”}，{“key”：“10.1016\/j.entcs.2009.08.018_bib011”，“series-title”：《LDIC 2007》，“first page”：《425》，“article-title》：“CSP\u2013 CSP-Prover的证明原理”，“author”：“Isobe”，“year”：“2008”}、{“key”：”10.1016//j.entc.2009.08.018_ bib012“，”非结构化”：“Temesghen Kahsai和Markus Roggenbach。CSP-CASL的精炼概念。在WADT 2008中，LNCS将出现。Springer，2009年“}，{”key“：”10.1016\/j.entcs.2009.08.018_bib013“，”series-title“：”TACAS 2007“，”first page“：“519”，“article-title”：“The Heterogeneous Tool Set，HETS”，“volume”：“4424”，“author”：“Mossakowski”，“year”：“2007”}，“issue”：“2”，“key”：“交叉引用”，“首页”：“367”，“doi”：“10.1016\/S0304-3975（01）00369-3“，”article-title“：”将Casl与其他规范语言联系起来：机构级“，”volume“：”286“，”author“：”Mossakowski“，”year“：”2002“，”journal-title”：“Theory Computer Science”}，{“key”：“10.1016\/j.entcs.2009.08.018_bib015”，“series-title”：”Casl Reference Manual“，”卷“：”2960“，”年份“：”2004“}，”{“密钥”：“”10.1016\/j.entcs.2009.08.018_bib016“，”非结构化“：”T.Mossakowski。异构规范和异构工具集。技术报告，不来梅大学，2005年。驯化论文”}，{“关键”：“10.1016\/j.entcs.2009.08.018_bib017”，“系列标题”：“WADT 2006”，“第一页”：“92”，“文章标题”：“结构化CSP\u2013作为一个机构的过程代数”，“卷”：“4409”，“作者”：“Mossakowski”，“年份”：“2007”}，{“关键”：“10.1016\/j.entcs.2009.08.018_bib018”，“非结构化”：“T.Mossakowski和M。罗根巴赫。处理和数据的机构。WADT 2008\u2013初步程序，TR-08-15。比萨大学，2008年“}，{”key“：”10.1016\/j.entcs.2009.08.018_bib019“，”article-title“：”Isabelle\/HOL“，”volume“：“2283”，”author“：”Nipkow“，”year“：”2002“}”，{“key”：“10.1016\/j.entcs.2009.018_bib020”，”unstructured“：”L.O'Reilly，Y.Isobe，and M。罗根巴赫。CSP-CASL-Prover\u2013自动化证明生成工具集成和算法。2007年加州大学。卑尔根大学，2008年2月“}，{“key”：“10.1016\/j.entcs.2009.08.018_bib021”，“非结构化”：“Liam O'Reilly.过程和数据的积分定理证明，2008。MPhil论文，斯旺西大学“}，{”issue“：”1“，”key“：”10.1016\/j.entcs.2009.08.018_bib022“，”doi-asserted-by“：”crossref“，”first page“：“42”，”doi“：”101016\/j.tcs.2005.11.007“，”article-title“：”CSP-CASL-过程代数和代数规范的新集成“，”volume“：“”理论计算机科学”}，｛“键”：“10.1016\/j.entcs.2009.08.018_bib023”，“系列标题”：“并发理论与实践”，“作者”：“Roscoe”，“年份”：“1998”｝]，“容器标题”：[“理论计算机科学电子笔记”]，“原标题”：[]，“语言”：“en”，“链接”：[｛“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1571066109003430？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1571066109003430？httpAccepte=text\/plain“，”内容类型“：”文本\/plaine“，”content-version”：“vor”，“intended-application”：“text-mining”}]，“存放”：{“date-parts”：[[2019,5,22]]，“date-time“：”2019-05-22T10:01:26Z“，”timestamp“：1558519286000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S1571066109003430”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“date-parts”：[[2009,9]]}，‘references-count’：22，‘日志发布’：{‘发布’：“2”，“published-print”：{“date-parts”：[[2009,9]]}}，“alternative-id“：[”S1571066109003430“]，“URL”：“http://\/dx.doi.org\/10.1016\/j.entcs.2009.08.018”，“关系”：{}，“ISSN”：[“1571-0661”]，“ISSN-type”：[{“值”：“1571-00661”，“类型”：“打印”}]，“主题”：[]，“已发布”：{“日期部分”：[[2009,9]]}}}}