{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:46:49Z","timestamp":1725468409352},"publisher-location":"Berlin\/Heidelberg","reference-count":12,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"0387973753"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0040265","type":"book-chapter","created":{"date-parts":[[2006,8,17]],"date-time":"2006-08-17T17:01:43Z","timestamp":1155834103000},"page":"319-332","source":"Crossref","is-referenced-by-count":0,"title":["A category-theoretic semantics for unbounded indeterminacy"],"prefix":"10.1007","author":[{"given":"Prakash","family":"Panangaden","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James R.","family":"Russell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"S. Abramsky. On semantic foundations for applicative multiprogramming. In J. Diaz, editor, Proceedings of the Tenth International Conference On Automata, Languages And Programming, pages 1\u201314, New York, 1983. Springer-Verlag.","DOI":"10.1007\/BFb0036893"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/0167-6423(83)90004-7","volume":"3","author":"K. R. Apt","year":"1983","unstructured":"K. R. Apt and E.-R. Olderog. Proof rules and transformations dealing with fairness. Sci. Comput. Prog., 3:65\u2013100, 1983.","journal-title":"Sci. Comput. Prog."},{"issue":"4","key":"14_CR3","doi-asserted-by":"publisher","first-page":"724","DOI":"10.1145\/6490.6494","volume":"33","author":"K. R. Apt","year":"1986","unstructured":"K. R. Apt and G. D. Plotkin. Countable nondeterminism and random assignment. Journal Of The ACM, 33(4):724\u2013767, 1986.","journal-title":"Journal Of The ACM"},{"key":"14_CR4","unstructured":"G. Boudol. Semantique Operationalle et Algebrique Des Programmes Recursifs Non-Deterministes. PhD thesis, University de Paris VII, 1980. These d'Etat."},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"T. Coquand. Categories of embeddings. In Proceedings of the Third IEEE Symposium on Logic In Computer Science, 1988.","DOI":"10.1109\/LICS.1988.5124"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"N. Francez. Fairness. Springer-Verlag, 1986.","DOI":"10.1007\/978-1-4612-4886-6"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"D. Lehmann. Categories for Fixed-point Semantics. PhD thesis, University of Warwick, 1976.","DOI":"10.1109\/SFCS.1976.9"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"P. Panangaden. Abstract interpretation and indeterminacy. In Proceedings of the 1984 CMU Seminar on Concurrency, pages 497\u2013511, 1985. LNCS 197.","DOI":"10.1007\/3-540-15670-4_24"},{"issue":"3","key":"14_CR9","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G. D. Plotkin","year":"1976","unstructured":"G. D. Plotkin. A powerdomain construction. SIAM Journal of Computing, 5(3):452\u2013487, 1976.","journal-title":"SIAM Journal of Computing"},{"key":"14_CR10","unstructured":"P. Panangaden and V. Shanbhogue. On the expressive power of indeterminate primitives. Technical Report 87-891, Cornell University, Computer Science Department, November 1987."},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"P. Panangaden and E. W. Stark. Computations, residuals and the power of indeterminacy. In Timo Lepisto and Arto Salomaa, editors, Proceedings of the Fifteenth ICALP, pages 439\u2013454. Springer-Verlag, 1988. Lecture Notes in Computer Science 317.","DOI":"10.1007\/3-540-19488-6_133"},{"key":"14_CR12","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0022-0000(78)90048-X","volume":"16","author":"M. B. Smyth","year":"1978","unstructured":"M. B. Smyth. Powerdomains. Journal of Computer and System Sciences, 16:23\u201336, 1978.","journal-title":"Journal of Computer and System Sciences"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Semantics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0040265.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:39:58Z","timestamp":1607549998000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0040265"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["0387973753"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0040265","relation":{},"subject":[]}}