{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2022,4,5]]，“日期-时间”：“2022-04-05T05:02:12Z”，“时间戳”：1649134932709}，“引用-计数”：16，“发布者”：“爱思唯尔BV”，“问题”：“1”，“许可证”：[{“开始”：}“日期-零件”：[[2009,2,1]]，”日期-时间“：”2009 02-01T00:00:00Z“，”时间戳“：1233446400000}，“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”：1639，“URL”：“http://\/creativecommons.org\/licenses \/by-nc-nd \/3.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“理论计算机科学中的电子笔记”]，“published-print”：{“date-parts”：[[2009,2]]}，”DOI“：”10.1016\/j.entcs.2009.02.008“，”type“：”journal-article“，”created“：“源”：“Crossref”，“is-referenced-by-count”：1，“title”：[“优先Pi-calculus中Beta-binders的翻译”]，“prefix”：“10.1016”，“volume”：“229”，“author”：[{“给定”：“Igor”，“family”：“Cappello”，《sequence》：“first”，“affiliation”：[]}“，”引用“：[{”键“：“10.1016\/j.entcs.2009.02.008_bib001”，“series-title”：“Proc.2nd Int.Workshop on Computational Methods in Systems Biology”，“volume”：“volume3082”，“author”：“Cardelli”，“year”：“2005”}，{“key”：”10.1016\/j.entcs.2009.012.008_bb002“，”series-ttle“：”通信和移动系统：the \u03c0-calculation“，”author“：”Milner：“10.1016\/j.entcs.2009.02.008_bib003”，“series-title”：“Proc.7th Int.Conference on Concurrency Theory”，《第七届国际并发理论会议论文集》，“首页”：“179”，”article-title“：“解码选择编码”，“volume”：“volume1119”，“author”：“Nestmann”，“year”：“1996”}，{“key”：”10.1016//j.entc.2009.02.008_ bib004“，”series-ttle“：”Proc.2nd Int。系统生物学计算方法研讨会”，“首页”：“21”，“文章-标题”：“生物相互作用的Beta粘合剂”，“卷”：“卷3082”，“作者”：“Priami”，“年份”：“2005”}，{“键”：“10.1016\/j.entcs.2009.02.008_bib005”，“系列-标题”，“并发、图形和模型”，“第一页”：volume“：”volume 5065“，”author“：”Quaglia“，”year“：”2008“}，{“key”：“10.1016\/j.entcs.2009.02.008_bib006”，“series-title”：“Proc.2nd Int.Conference on Foundations of Software Science and Computation Structures”，“first page”：”283“，”article-title“：”on synchronous and asynous mobile process“，”volumes“1784”，“author”：“Quaglia”，“year”：“2000”}，{“key”：“10.1016\/j.entcs.2009.02.008_bib007”，“doi-asserted-by”：“crossref”，”first page“：”215“，”doi“：”10.1016\/j.ic.2005.03.004“，”article-title“：”多元数\u03c0-演算的类型和完全抽象“，”volume“：“200”，“author”：“Quaglia”，“year”：“2005”，“journal-title”：“Information and Calculation”}，{”issue“1”，“key“：“10.1016\/j.entcs.2009.02.008_bib008”，“doi-asserted-by”：“crossref”，”首页“：”141“，”doi“：”10.1016//j.tcs.2004.03.061“，”article-title“：”Bioambements:an abstract for biological pacteries“，”volume“：”325“，”author“：”Regev“，“year”：“2004”，“journal-title”：“Theory Computer Science”}，{“key”：“10.106\/j-entcs.20009.008_bip009”，“doi-asserted-by”：“crossref”，“first page”：“343”，“doi”：“10.1038\/419343a”，“article-title”：“Cells as calculations”，“volume”：”419“，“author”：“Regev”，”year“：”2002“，”journal-title“：”Nature“}，{”key“：”10.1016\/j.entcs.2009.02.008_bib010“，”series-title“：“美国人工智能化学家协会”，“article-tlitle”：“用计算机进程代数表示生物分子过程：\u03c0-信号转导通路的演算程序”，“author”：“Regev”，“year”：“2000”}，{“key”：“10.1016\/j.entcs.2009.02.008_bib011”，《doi-asserted-by》：“crossref”，”unstructured“：”A.Regev，W.Silverman，and E。夏皮罗。使用pi演算过程代数表示和模拟生物化学过程。《2001年太平洋生物计算研讨会论文集》，第6卷，第459\u2013470页，2001年“，”DOI“：”10.1142\/9789814447362_0045“}，{“key”：“10.1016\/j.entcs.2009.02.008_bib012”，“series-title”：“the \u03c0-calculation:a Theory of Mobile Processes”，“author”：“Sangiorgi”，“year”：“2001”}，“key“：”1016\/j.entcs.2009.02.008_ bib013”，“series-title”“：”程序。第十六届欧洲程序设计研讨会”，“首页”：“411”，“文章标题”：“生物启发计算比较分析的核心演算”，“卷”：“卷4421”，“作者”：“Versari”，“年份”：“2007”}，{“键”：“10.1016\/j.entcs.2009.02.008_bib014”，“系列标题”：《系统生物学计算方法国际会议论文汇编》，“首版”：“80”article-title“：“具有动态隔室结构的生物系统的随机模拟”，“author”：“Versari”，“year”：“2007”}，{“key”：“10.1016\/j.entcs.2009.02.008_bib015”，“series-title”：“计算系统生物学的形式化方法”，“首页”：“449”，“article-title”：\u03c0@：一个基于pi的过程微积分，用于实现分段生物启发微积分“，”卷“：”卷5016“，”作者“：”Versari“，”年份“：”2008“}，{“key”：“10.1016\/j.entcs.2009.02.008_bib016”，“series-title”：“第16届软件技术与理论计算科学基础会议论文集”，“首页”：“371”，“article-title”：”Monadic移动进程的图形类型“，”volume“：”volume1180“，”author“：”Yoshida“，”year“：”1996“}]，”container-title“：[”Electronic Notes in Theory Computer Science“]，”original title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com\/content\/article\/PII:S1571066109000139？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1571066109000139？httpAccept=text\/plain”，“content-type”：“text\/plan”，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[2019,5,18]]，“date-time”：”2019-05-18T05:24 30 Z“，”timestamp“：1558157070000}，”score“：1，”resource“：{“primary”：{”URL“：”https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S1571066109000139“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2009,2]}，‘references-count’：16，‘journal-issue’：{‘issue’：‘1’，‘published-print’：{‘date-part’：[2009,2]}]]}}，“alternative-id”：[“S1571066109000139”]，“URL”：“http:\/\/dx.doi.org\/10.1016\/j.entcs.2009.02.008“，”关系“：{}，”ISSN“：[”1571-0661“]，”ISSN-type“：[{”value“：”1571-00661“，”type“:”print“}]，”主题“：[]，”发布“：{”date-parts“：[2009,2]}}}}