{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:35:27Z","timestamp":1725496527328},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540583295"},{"type":"electronic","value":"9783540486541"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-3-540-48654-1_12","type":"book-chapter","created":{"date-parts":[[2016,5,10]],"date-time":"2016-05-10T13:34:34Z","timestamp":1462887274000},"page":"130-145","source":"Crossref","is-referenced-by-count":0,"title":["Countable Non-Determinism and Uncountable Limits"],"prefix":"10.1007","author":[{"given":"Pietro","family":"Gianantonio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Furio","family":"Honsell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Silvia","family":"Liani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gordon D.","family":"Plotkin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/0022-0000(79)90026-6","volume":"2","author":"J Ad\u00e1mek","year":"1979","unstructured":"Ad\u00e1mek, J., Koubek, V., Least Fixed-Point of a Functor, Journal of Computer and System Sciences Vol.19, No. 2, 1979, 163\u2013178.","journal-title":"Journal of Computer and System Sciences Vol.19"},{"key":"12_CR2","doi-asserted-by":"crossref","first-page":"724","DOI":"10.1145\/6490.6494","volume":"4","author":"KR Apt","year":"1986","unstructured":"Apt, K.R., Plotkin, G.D., Countable Non-Determinism and Random Assignment, Journal of the ACM Vol.33, No. 4, 1986, 724\u2013767.","journal-title":"Journal of the ACM Vol.33"},{"key":"12_CR3","first-page":"239","volume-title":"Metric characterisation of fair computations in CCS","author":"G Costa","year":"1985","unstructured":"Costa G., Metric characterisation of fair computations in CCS, Lecture Notes in Computer Science, Vol.186, Springer-Verlag, Berlin\/New York, 1985, 239\u2013251."},{"key":"12_CR4","first-page":"127","volume-title":"Computable Non-Deterministic Functions, in Proceedings","author":"AK Chandra","year":"1978","unstructured":"Chandra, A.K., Computable Non-Deterministic Functions, in \u201cProceedings. 19th Annual Symposium on Mathematical Foundations of Computer Science\u201d. IEEE, New York, 1978, 127\u2013131."},{"key":"12_CR5","volume-title":"A Discipline of Programming, Prentice-Hall","author":"EW Dijkstra","year":"1976","unstructured":"Dijkstra, E.W., A Discipline of Programming, Prentice-Hall, Englewood Cliffs, New York, 1976."},{"key":"12_CR6","first-page":"504","volume-title":"Proceedings. Winter School on Formal Software Specification, Lecture Notes in Computer Science","author":"D Park","year":"1980","unstructured":"Park, D., On the Semantics of Fair Parallelism, in \u201cProceedings. Winter School on Formal Software Specification\u201d, Lecture Notes in Computer Science, Vol. 86, Springer-Verlag, Berlin\/New York, 1980, 504\u2013526."},{"key":"12_CR7","first-page":"452","volume":"3","author":"GD Plotkin","year":"1976","unstructured":"Plotkin, G.D., A Powerdomain Construction, SIAM J. Comput. Vol.5, No. 3, 1976, 452\u2013487.","journal-title":"J. Comput. Vol.5"},{"key":"12_CR8","first-page":"418","volume-title":"Proceedings. 9th ICALP, M. Nielsen and E.M. Schmidt Eds., Lecture Notes in Computer Science","author":"GD Plotkin","year":"1982","unstructured":"Plotkin, G.D., A Powerdomain for Countable Non-Determinism, in \u201cProceedings. 9th ICALP\u201d, M. Nielsen and E.M. Schmidt Eds., Lecture Notes in Computer Science, Vol. 140, Springer-Verlag, Berlin\/New York, 1982, 418\u2013428."},{"issue":"1","key":"12_CR9","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/0022-0000(92)90040-P","volume":"45","author":"SR Rocca della","year":"1992","unstructured":"Ronchi della Rocca, S., Honsell, F., An Approximation Theorem for Topological Lambda Models and the Topological Incompleteness of Lambda Calculus, Journal of Computer and System Sciences Vol. 45, No. 1, 1992, 49\u201375.","journal-title":"Journal of Computer and System Sciences"},{"key":"12_CR10","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1137\/0211062","volume":"4","author":"MB Smyth","year":"1982","unstructured":"Smyth, M.B., Plotkin, G.D., The Category-Theoretic Solution of Recursive Domain Equations, SIAM J. Comput. Vol.11, No. 4, 1982, 761\u2013783.","journal-title":"Siam J. Comput. Vol.11"}],"container-title":["Lecture Notes in Computer Science","CONCUR '94: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-48654-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,21]],"date-time":"2022-06-21T02:04:00Z","timestamp":1655777040000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-48654-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540583295","9783540486541"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-48654-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}