{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:21Z","timestamp":1761611301418},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540583387"},{"type":"electronic","value":"9783540486633"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58338-6_82","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:50:52Z","timestamp":1330271452000},"page":"352-363","source":"Crossref","is-referenced-by-count":7,"title":["Processes and hyperuniverses"],"prefix":"10.1007","author":[{"given":"Marco","family":"Forti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Furio","family":"Honsell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marina","family":"Lenisa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"28_CR1","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1006\/inco.1991.9999","volume":"92","author":"S. Abramsky","year":"1991","unstructured":"S. Abramsky, A Domain Equation for Bisimulation, Information and Computation, 92:161\u2013218, 1991.","journal-title":"Information and Computation"},{"key":"28_CR2","unstructured":"P. Aczel, Non-wellfounded sets, Number 14, Lecture Notes CSLI, 1988."},{"key":"28_CR3","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0022-0000(89)90027-5","volume":"39","author":"P. America","year":"1989","unstructured":"P. America, J. Rutten, Solving Reflexive Domain Equations in a Category of Complete Metric Spaces, Journal of Computer and System Sciences, 39:343\u2013375, 1989.","journal-title":"Journal of Computer and System Sciences"},{"key":"28_CR4","volume-title":"Report CS-R9340","author":"J. W. Bakker de","year":"1993","unstructured":"J. W. de Bakker, F. van Breugel, Topological models for higher order control flow, Report CS-R9340, CWI, Amsterdam, June 1993."},{"key":"28_CR5","doi-asserted-by":"crossref","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, J. I. Zucker, Processes and the Denotational Semantics of Concurrency, Information and Control, 54:70\u2013120, 1982.","journal-title":"Information and Control"},{"key":"28_CR6","volume-title":"General Topology","author":"R. Engelking","year":"1977","unstructured":"R. Engelking, General Topology, PWN, Warszawa, 1977."},{"key":"28_CR7","doi-asserted-by":"crossref","first-page":"1401","DOI":"10.1017\/S0022481200041165","volume":"54","author":"M. Forti","year":"1989","unstructured":"M. Forti, R. Hinnion, The consistency problem for positive comprehension principles, J. Symb. Logic 54:1401\u20131418, 1989.","journal-title":"J. Symb. Logic"},{"key":"28_CR8","first-page":"493","volume":"10","author":"M. Forti","year":"1983","unstructured":"M. Forti, F. Honsell, Set Theory with Free Construction Principles, Annali Scuola Normale Sup. Pisa, Cl. Sci., (IV), 10:493\u2013522, 1983.","journal-title":"Annali Scuola Normale Sup. Pisa, Cl. Sci., (IV)"},{"key":"28_CR9","first-page":"473","volume-title":"Partial Differential Equations and the Calculus of Variations, Essays in Honor of E. De Giorgi","author":"M. Forti","year":"1989","unstructured":"M. Forti, F. Honsell, Models of self-descriptive Set Theories, in Partial Differential Equations and the Calculus of Variations, Essays in Honor of E. De Giorgi (F. Colombini et al. editors), Birkh\u00e4user, Boston 1989, 473\u2013518."},{"key":"28_CR10","unstructured":"M. Forti, F. Honsell, A general construction of hyperuniverses, Technical Report, 1st. Mat. Appl. \u201cU. Dini\u201d, Universit\u00e0 di Pisa, 1992 (to appear in TCS)."},{"key":"28_CR11","doi-asserted-by":"crossref","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, F. J. Oles, Non-wellfounded Sets Modeled as Ideal Fixed Points, Information and Computation, 93:16\u201354, 1991.","journal-title":"Information and Computation"},{"key":"28_CR12","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G. D. Plotkin","year":"1976","unstructured":"G. D. Plotkin, A powerdomain construction, SIAM J. Comp., 5:452\u2013493, 1976.","journal-title":"SIAM J. Comp."},{"issue":"3","key":"28_CR13","first-page":"257","volume":"2","author":"J. Rutten","year":"1992","unstructured":"J. Rutten, Processes as terms: non-wellfounded models for bisimulation, MSCS, 2(3):257\u2013275, 1992.","journal-title":"MSCS"},{"key":"28_CR14","unstructured":"E. Weydert, How to approximate the naive comprehension scheme inside of classical logic, Bonner mathematische Schriften 194, Bonn 1989."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1994"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58338-6_82.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:14:19Z","timestamp":1619572459000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58338-6_82"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540583387","9783540486633"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-58338-6_82","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}