{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2022,3,31]]，“日期时间”：“2022-03-31T17:19:57Z”，“时间戳”：1648747197030}，“引用-计数”：15，“发布者”：“开放发布协会”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”shortcontainer-title“：[“Electron.Proc.Theor.Comput.Sci.”，“EPTCS”]，“DOI”：“10.4204\/EPTCS.139.3”，“type”：“journal-article”，“created”：{“date-parts”：[[2014,1,2]，“date-time”：“2014-01-02T23:28:41Z”，“timestamp”：1388705321000}，“page”：”31-45“source”：，“前缀”：“10.4204”，“卷”：“139”，“作者”：[{“给定”：“瓦伦丁”，“家族”：“卡萨诺”，“序列”：“第一”，“从属关系”：[}“名称”：“麦克马斯特大学”}]}，{“给出”：“托马斯S.E.”，“家庭”：“迈鲍姆”，“顺序”：“附加”，“附属关系”：[{“名称“：”麦克马斯特学院“}]}]，“成员”：“2720”，“在线发布”：{“日期段”：[2014,1,2]}，“reference”：[{“key”：“Aguirre07”，“doi-asserted-by”：“publisher”，“first page”：“1”，“doi”：“10.1007\/978-3-540-73210-5_1”，”article-title“：“验证CommUnity设计的时间属性”，“volume-title”：“IFM”，“author”：“Aguirre”，“year”：“2007”}，{“issue”：“2”，“key”：”Castro09“，”doi-assert-by“：”publisher“，“first-page:”17“，”doi“：”10.1016\/j.entcs.2009.12.011“，“文章标题”：“道义逻辑，违背职责推理和容错”，“卷”：“258”，“作者”：“卡斯特罗”，“年份”：“2009”，“期刊标题”：“电子注释Theor.Comput.Sci.”}，{“key”：“Dimitrakos98”，“volume-title”：“规范设计和实现的正式支持”，“author”：“迪米特拉科斯”，“year”：“1998”}、{“密钥”：“Fiadeiro05”，“doi-asserted-by”：“publisher”，“volume-title”：“软件工程分类”，“author”：“Fiadeiro”，“year”：“2005”，“DOI”：“10.1007\/b138249”}，{“issue”：“3”，“key”：“Fiadeiro92”，“DOI-asserted-by”：“publisher”，“first page”：”239“，”DOI“：”10.1007\/BF01212304“，”article-title“时间理论作为并发系统规范的模块化单元”：“Fiadeiro”，“year”：“1992”，“journal-title”：“Compute的正式语法”}，{“key”：“Fiadeiro97”，“doi-asserted-by”：“publisher”，“first page”：”111“，“doi”：“10.1016\/S0167-6423（96）00025-1”，“article-title“：”并行程序设计的范畴语义“，”volume“：”28“，”author“：”Fiadeilo“，”year“：”1997“，“johnal-title:”计算机编程科学}，{“问题”：“1”，“key”：“Goguen91”，“doi-asserted-by”：“publisher”，“first-pages”：“49”，“doi”：“10.1017\/S096129500000050”，“article-title”：“A Categorical Manifesto”，“volume”：”1“，“author”：“Goguen”，“year”：“1991”，“journal-title“：”计算机科学中的数学结构“}，{“key“：”：“Khosla87”，“doi-asserted-by”:“publishers”，“首页”：“243”，“内政部”：“10.1007\/3-540-51803-7_30”，“article-title”：“基于状态的系统的规定和描述”，“volume-title“：规范中的时序逻辑”，“author”：“Khosla”，“year”：“1987”}，{“key”：“MacLane71”，“volume-titel”：“工作数学家的类别”，“author”:“MacLane”，“年份”：“1971”}，“doi-asserted-by”：“publisher”，“first page”：“40”，“doi”：“10.1007\/BFb0030588”，“article-title”：“保守扩展，理论与一切之间的解释！”，“volume-title“：”TAPSOFT'97“，“volue”：“1214”，“author”：“Maibaum”，“year”：“1997”}，{“key”：145\/336512.336548“，“article-title”：“软件工程的数学基础：路线图”，“volume-title“：ICSE’00：SE轨道的未来”，“author”：“Maibaum”，“year”：“2000”}，{“key”：“deRoever97”，“series-title”：”LNCS“，”doi-asserted-by“：”publisher“，”first page“：”1“，”doi“10.1007\/3-540-49213-5_1”，“artice-title，“volume-title”：“COMPOS’97”，“volution”：“1536”，“author”：“de Roever”，“year”：“1998”}，{“key”：《Shaw96》，“volum-title》：“Software Architectures:Perspectives on an Emerging Discipline”，“author”:“Shaw”，“年份”：“1996”}BFb0015251“，”文章标题“：“软件体系结构中的公式和形式主义”，“卷标题”：“今日计算机科学”，“卷”：“1000”，“作者”：“Shaw”，“年份”：“1995”}，{“问题”：“2”，“密钥”：“Tarlecki91”，“doi断言”：“出版商”，“第一页”：“239”，“doi”：“10.1016/0304-3975（91）90085-G”，“文章标题”：“计算语义的一些基本代数工具。第3部分：索引类别”，“卷”：“91”，“作者”：“Tarlecki”，“年份”：“1991”，“期刊标题”：“理论计算机科学”}]，“容器标题”：[“理论计算机科学电子论文集”]，“原文标题”：[]，“语言”：“en”，“存放”：{“日期部分”：[2014,1,7]]，“date-time”：“2014-01-07T02:48:00Z”，“timestamp”：1389062880000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/arxiv.org\/abs\/1401.0970v1”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2014,1,2]}，‘references-count’：15，”URL“http://\/dx.doi.org\/10.4204\/eptcs.139.3“，”关系“：{}，”ISSN“：[”2075-2180“]，”ISSN-type“：[{”value“：“2075-2180”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2014,1,2]]}}}