{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:44Z","timestamp":1725456224286},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627814"},{"type":"electronic","value":"9783540685173"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0030620","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T01:10:41Z","timestamp":1133399441000},"page":"478-489","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Partializing stone spaces using SFP domains"],"prefix":"10.1007","author":[{"given":"F.","family":"Alessi","sequence":"first","affiliation":[]},{"given":"P.","family":"Baldan","sequence":"additional","affiliation":[]},{"given":"F.","family":"Honsell","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"key":"39_CR1","unstructured":"Samson Abramsky. Total vs. partial object and fixed points of functors. Unpublished Manuscript, 1985."},{"key":"39_CR2","unstructured":"Samson Abramsky. A Cook's tour of the finitary non-well-founded sets. Talk delivered at BTCS Colloquium, 1988."},{"issue":"2","key":"39_CR3","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1006\/inco.1991.9999","volume":"92","author":"S. Abramsky","year":"1991","unstructured":"Samson Abramsky. A domain equation for bisimulation. Information and Computation, 92(2):161\u2013218, 1991.","journal-title":"Information and Computation"},{"key":"39_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0168-0072(91)90065-T","volume":"51","author":"S. Abramsky","year":"1991","unstructured":"Samson Abramsky. Domain theory in logical form. Annals of Pure and Applied Logic, 51:1\u201377, 1991.","journal-title":"Annals of Pure and Applied Logic"},{"key":"39_CR5","unstructured":"F. Alessi, P. Baldan and F. Honsell. Partializing Stone Spaces using SFP domains. Technical Report. University of Udine."},{"key":"39_CR6","unstructured":"F. Alessi and M. Lenisa. Stone duality for trees of balls. Talk delivered at MASK workshop, Koblenz, 1993."},{"volume-title":"A fixed point theorem for the solution of domain equations in a category of trees","year":"1994","author":"P. Baldan","key":"39_CR7","unstructured":"P. Baldan. A fixed point theorem for the solution of domain equations in a category of trees. Tesi di Laurea, Udine 1994."},{"key":"39_CR8","unstructured":"J.W. de Bakker and E. de Vink. Control Flow Semantics. MIT Press, 1996."},{"issue":"1\/2","key":"39_CR9","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/S0019-9958(82)91250-5","volume":"54","author":"J.W. Bakker de","year":"1982","unstructured":"J.W. de Bakker and J.I. Zucker. Processes and the denotational semantics of concurrency. Information and Control, 54(1\/2):70\u2013120, 1982.","journal-title":"Information and Control"},{"issue":"1","key":"39_CR10","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1006\/inco.1996.0046","volume":"127","author":"P. Gianantonio Di","year":"1996","unstructured":"P. Di Gianantonio. Real number computability and domain theory. Information and Computation, 127(1):11\u201325, 1996.","journal-title":"Information and Computation"},{"key":"39_CR11","unstructured":"J. Dugundji. Topology. Allyn and Bacon, 1966."},{"key":"39_CR12","unstructured":"A. Edalat and R. Heckmann. A computational model for metric spaces. 1996, to appear."},{"key":"39_CR13","first-page":"352","volume":"841","author":"M. Forti","year":"1994","unstructured":"M. Forti, F. Honsell, and M. Lenisa. Processes and hyperuniverses. MFCS '93, LNCS 841:352\u2013367, 1994.","journal-title":"LNCS"},{"key":"39_CR14","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0890-5401(91)90005-M","volume":"90","author":"M.E. Majster-Cederbaum","year":"1991","unstructured":"M.E. Majster-Cederbaum and F. Zetzsche. Towards a foundations for semantics in complete metric spaces. Information and Computation, 90:217\u2013243, 1991.","journal-title":"Information and Computation"},{"issue":"1","key":"39_CR15","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1016\/0890-5401(91)90051-3","volume":"93","author":"M.W. Mislove","year":"1991","unstructured":"M.W. Mislove, L.S. Moss, and F.J. Oles. Non-well-founded sets modeled as ideal fixed points. Information and Computation, 93(1):16\u201354, 1991.","journal-title":"Information and Computation"},{"issue":"3","key":"39_CR16","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G. D. Plotkin","year":"1976","unstructured":"Gordon D. Plotkin. A powerdomain construction. SIAM Journal on Computing, 5(3):452\u2013487, 1976.","journal-title":"SIAM Journal on Computing"},{"key":"39_CR17","unstructured":"Gordon D. Plotkin. Domains. Unpublished Course Notes. University of Edinburgh, 1983."},{"key":"39_CR18","first-page":"37","volume":"40","author":"M. H. Stone","year":"1936","unstructured":"Marshall H. Stone. The theory of representations for Boolean algebras. Transactions of the American Mathematical Society, 40:37\u2013111, 1936.","journal-title":"Transactions of the American Mathematical Society"},{"issue":"1","key":"39_CR19","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/0304-3975(81)90027-X","volume":"16","author":"K Weihrauch","year":"1981","unstructured":"K Weihrauch and U. Shreiber. Embedding metric spaces into cpo's. Theoretical Computer Science, 16(1):5\u201324, 1981.","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '97: Theory and Practice of Software Development"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0030620","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T23:25:19Z","timestamp":1578525919000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0030620"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627814","9783540685173"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0030620","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"20 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}