{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,20]]，“日期时间”：“2024-04-20T16:10:02Z”，“时间戳”：1713629402003}，“出版商位置”：“柏林，海德堡”，“参考计数”：31，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540578871”，“类型”：打印“}，{”值“：“9783540483830”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1994]]}，”DOI“：”10.1007\/3-540-57887-0_127“，”type“：”book-capter“，”created“：”{“date-part”：[2012,26]]，“date-time”：“2012-02-26T13:38:56”Z“，”时间戳“：1330263536000}，”页面“：”822-843“，“source”：“Crossref”，“is-referenced-by-count”：5，“title”：[“通过闭包操作符关联多函数和谓词变换器”]，“prefix”：“10.1007”，”author“：[{”given“：”Marcello M.“，”family“：”Bonsange“，”sequence“：”first“，”affiliation“：[]}，{”given“:”Joost N.“，“family”：“Kok”，“sequence”：“additional”，“affiliance”：[]2]，“member”：“297”，“published-online”：{“date-parts”：[[2005,5,31]]}，“reference”：[{“key”：“41_CR1”，“unstructured”：“S.Abramsky。领域理论和可观测属性的逻辑。博士论文，伦敦大学玛丽女王学院，1987年。”“”：“K.R.Apt”，“year”：“1986”，“unstructured”：“K.R.Apt和G.Plotkin。可数不确定性和随机赋值。ACM杂志，33（4）：724\u20137671986年10月。”，“期刊标题”：“ACM杂志”}，{“key”：“41_CR3”，“非结构化”：“C.Berge。拓扑空间\u2014包括对多值函数、向量空间和凸性的处理。Oliver&Boyd，1963年。Dunod出版的\u2019 Espaces Topologiques:Functions Multivoques\u2019的英文译文，巴黎，1959年。“}，{”key“：”41_CR4“，”first page“：“431”，“volume-title”：“IFIP编程概念形式化描述工作会议程序\u2014 II”，“author”：“E.Best”，“year”：“1983”，“unstructured”：“E。最好的。并发程序（与一些应用程序）的关系语义。In D.Bjorner，编辑，Proc。IFIP编程概念形式化描述工作会议，第431页，2013452页，Garmisch-Partenkirchen，FRG，1983年。North-Holland出版公司。}，{“key”：“41_CR5”，“unstructured”：“M.M.Bonsangue、B.Jacobs和J.N.Kok。清醒空间之外的二重性：拓扑空间和观察框架。发表于2013年11月18日至193年11月20日在法国沙特尔举行的语义学拓扑与完形研讨会上。可通过ftp.cs.vu.nl中的匿名ftp获取，格式为\/pub\/bonsangue\/diability.ps.Z，1993。“}，{“key”：“41_CR6”，“doi-asserted-by”：“crossref”，“unstructured”：“M.Bonsange和J.N.Kok.最弱前提演算中的语义、顺序和递归。J.W.de Bakker，W.-P.de Roever和G。Rozenberg，编辑，Rex Workshop“92”语义：基础和应用，《计算机科学讲义》第666页，第91页\u20131091992年。扩展版本可通过匿名ftp从ftp.cs.vu.nl获得，格式为\/pub\/bonsangue \/wp.ps.Z.，“DOI”：“10.1007\/3-540-56596-5_30”}，{“key”：“41_CR7”，“DOI-asserted-by”：“crossref”，“unstructured”：“M.Bonsange和J.N.Kok.状态和谓词变换器之间的同构。在A.M.Borzyszkowski和S。Sokolowoski，编辑，MFCS’93，波兰格但斯克，《计算机科学讲义》第711页，第301\u2013310页，1993年。扩展版本可通过匿名ftp从ftp.cs.vu.nl获得，如“pub\/bonsangue\/isomorp.ps.Z”，“DOI”：“10.1007\/3-540-57182-5_22”｝，｛“key”：“41_CR8”，“非结构化”：“E.W.Dijkstra.A Discipline of Programming。Prentice Hall，1976.”｝，｛“key”：“41_CR9”，“非结构化”：“B.A.Davey and H.A。普里斯特利。格与序简介。剑桥大学出版社，1990年。“}，{”key“：”41_CR10“，”doi-asserted-by“：”crossref“，”doi“：”10.1007\/978-1-4612-3228-5“，”volume-title“：”谓词演算和程序语义“，”author“：”E.W.Dijkstra“，“year”：“1990”，“unstructured”：“E.W.迪杰斯特拉和C.S.肖尔滕。谓词演计算和程序语义。Springer-Verlag，纽约，1990。”}，“key”：“”41_CR11“，”非结构化“：”J.Dugundji。拓扑结构。Allyn and Bacon，inc.，1966.“}，{”key“：”41_CR12“，”unstructured“：”R.Engelking.General Topology，Polish Scientific Publishers，1977年。“}”，{“key”：“41_CR13”，“doi-asserted-by”：“crossref”，“unstructure”：“G.Gierz，K.H.Hofmann，K.Keimel，J.Lawson，M.Mislove，and D.Scott。《连续格纲要》，Springer-Verlag，1980年。”，“doi”：“10.1007\/978-3-642-67678-9“｝，｛“key”：“41_CR14”，“doi asserted by”：“crossref”，“first page”：“77”，“doi”：“10.1016\/0167-6423（91）90037-X”，“volume”：“17”，“author”：“R.Heckmann”，“year”：“1991”，“nonstructured”：“R.Heckmann.Power domains constructions.Science of Computer Programming，17:77\u20131171991.”，“journal title”：“Science of Computer Programming”｝，｛key“：”41_CR15“，”doi-asserted-by“：”crossref“，”unstructured“：”K.Hoffman和M.Mislove“。局部紧性和连续格。Banaschewski和Hoffman，编辑，《连续格2014年不来梅会议录1979》，数学课堂讲稿第871页，第209\u20132481981页。“，“DOI”：“10.1007\/BFb0089908”}，{“key”：“41_CR16”，“DOI-asserted-by”：“crossref”，“unstructured”：“A.Jung和S。艾布拉姆斯基。领域理论。出现在《计算机科学逻辑手册》，第三卷\u2014语义结构，S.Abramsky，D.M.Gabbay和T.S.E.Malbaum eds.，1994年。“，“DOI”：“10.1093\/oso\/978198537625.003.0001”}，{“key”：“41_CR17”，“DOI-asserted-by”：“crossref”，“unstructured”：“P.T。约翰斯通。斯科特并不总是清醒的。Banaschewski和Hoffman，编辑，《连续格2014年不来梅会议录1979》，数学课堂讲稿第871页，第282_20132831981页。“，”DOI“：”10.1007“/BFb0089911“}，”key“：”41_CR18“，”unstructured“：”P.T.Johnstone。Stone Spaces.Cambridge University Press，1982。“}173“，“DOI”：“10.1007\/3-540-19020-1_9”，“volume”：“298”，“author”：“R.E.Kent”，“year”：“1987”，“unstructured”：“R E.Kent。度量闭包Powerspace结构。《第三届MFPS会议录》，1987年，《计算机科学讲义》第298页，第173\u2013199页，1987年。“，“journal-title”：“计算机科学讲稿”}，{“key”：“41_CR20”，“doi-asserted-by”：“crossref”，“first page”：”53“，“doi”：“10.1007\/BF02485815”，“volume”：第6页，“author”：“G.Markowsky”，“year”：“1976”，“unstructured”：“G。马尔科夫斯基。链完备偏序集和有向集及其应用。代数普遍，6:53\u2013681976。“，“journal-title”：“代数普遍”}，{“key”：“41_CR21”，“doi-asserted-by”：“crossref”，“first page”：”152“，“doi”：“10.1090\/S0002-9947-1951-0042109-4”，“volume”：《71》，“author”：“E.Michael”，《year》：“1951”，“unstructured”：“E.Michael.子集空间上的拓扑。事务AMS，71:152\u20131821951。”，“”journal-title“：”Transactions AMS“}，{“key”：“41_CR22”，“unstructured”：“S.B.Nadler.集合的超空间.纯数学和应用数学.Marcel Dekker，1978。”}，}“issue”：“4”，“key“：”41_CR23“，”doi-asserted-by“：”crossref“，”first page“：“517”，“doi”：“10.1145\/69558.69559”，“volume”：”11“，“author”：“G.Nelson”，“year”：“1989”，“非结构化”：“G.公司。纳尔逊。Dijkstra演算的推广。《ACM编程语言和系统事务》，11-4:517\u20135611989年。“，”journal-title“：”《ACM程序语言和系统的事务》}，{“key”：“41_CR24”，“doi-asserted-by”：“crossref”，“first-page”：“452”，“doi”：“10.1137\/0205035”，“volume”：”5“，“author”：“G.D.Plotkin”，《年份》：“1976”，“非结构化”：“。普洛金。powerdomain结构。SIAM J.计算。，5:452\u20134871976.”，“新闻标题”：“SIAM J.Compute。“｝，｛”key“：”41_CR25“，”doi asserted by“：”crossref“，”first page“：”527“，”doi“：”10.1007\\3-540-10007-5-48“，”volume“：”86“，”author“：”G.D.Plotkin“，”year“：”1979“，”nonstructured“：”G.D。普洛金。Dijkstra的谓词变换器和Smyth的幂域。《抽象软件规范冬季学校会议录》，计算机科学讲稿第86卷，第527\u20135531979页爱丁堡大学计算机科学系，1981.“}，{”issue“：”1“，”key“：”41_CR27“，”doi-asserted-by“：”crossref“，”first page“：“23”，“doi”：“10.1016\/0022-0000（78）90048-X”，“volume”：“16”，“author”：“M.B.Smyth”，“year”：“1978”，“unstructured”：“M.B.Smyth.Power domains.J.Compute.Syst.Sci.，16，1:23\u2013361978”，“新闻标题”：“J。计算。系统。科学。“}，{”key“：”41_CR28“，”doi-asserted-by“：”crossref“，”first-page“：”662“，”doi“：”10.1007\/BFb0036946“，”volume“：“154”，”author“：”M.B.Smyth“，”year“：”1983“，”unstructured“：”M.B.Smyth.Power domains and predicator transformers:A topological view.In Proceedings of LCALP'83（巴塞罗那）《计算机科学讲义》第154卷，第662\u2013675页，1983年。“，“新闻标题”：“计算机科学讲稿”}，{“key”：“41_CR29”，“unstructured”：“M.B.Smyth.Topology。in S.Abramsky，D.M.Gabbay，and T.S.E。Malbaum，编辑，《计算机科学逻辑手册》，第一卷2014背景：数学结构，第641\u2013761页。Clarendon Press，1992.“}，{”key“：”41_CR30“，”doi-asserted-by“：”crossref“，”first page“：“761”，”doi“：”10.1137\/021162“，”volume“：：”11“，”author“：”M.B.Smyth“，”year“：”1982“，”unstructured“：”M.B.Smytth和G.D.Plotkin.递归域方程的分类理论解.SIAM J.Compute.，11:761\u20137831982.“，”，”journal-title“：”SIAM J.计算“}，{“key”：“41_CR31”，“unstructured”：“S.J.Vickers.Topology via Logic，《剑桥理论计算机科学丛书》第5卷，剑桥大学出版社，1989年。”}]，“container-title”：[“计算机科学讲义”，“计算机软件的理论方面”]，“原文标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/3-540-57887-0_127.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：：“http://\/link.springer.com/10.1007\/3-540-57887-0_127”}}，“副标题”：[]，“短标题”：[]，“发布”：{“日期-部件”：[[1994]]}，”ISBN“：[”9783540578871“，”978354483830“]，“引用计数”：31，“URL”：“http://\\dx.doi.org\/10.10007\/3-504-57887-0_127”，“关系”：{}，：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”：“1611-3349”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[1994]]}}