{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:42Z","timestamp":1725664002052},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540548348"},{"type":"electronic","value":"9783540464495"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54834-3_17","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:14:38Z","timestamp":1330211678000},"page":"268-278","source":"Crossref","is-referenced-by-count":0,"title":["Cpo's do not form a cpo, and yet recursion works"],"prefix":"10.1007","author":[{"given":"Marek A.","family":"Bednarczyk","sequence":"first","affiliation":[]},{"given":"Andrzej M.","family":"Borzyszkowski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"issue":"1","key":"17_CR1","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J. Goguen","year":"1977","unstructured":"J. Goguen, J. W. Thatcher, E. G. Wagner, and J. B. Wright. An initial algebra semantics and continuous algebras. Journal of the ACM, 24(1):68\u201395, January 1977.","journal-title":"Journal of the ACM"},{"key":"17_CR2","series-title":"LNCS, vol. 428","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/3-540-52513-0_24","volume-title":"VDM & Z: Formal Methods in Software Development","author":"Marek A. A. Bednarczyk","year":"1990","unstructured":"Marek A. Bednarczyk, Andrzej M. Borzyszkowski, and Wies\u0142aw Paw\u0142owski. Towards the semantics of the definitional language of MetaSoft. In Dines Bj\u00f8rner, editor, VDM & Z: Formal Methods in Software Development, 3rd VDM-Europe Symposium, Kiel, pages 477\u2013503. LNCS, vol. 428, Springer-Verlag, 1990."},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Dines Bj\u00f8rner and Cliff B. Jones. The Vienna Development Method: The Meta-Language, volume 61 of LNCS. Springer-Verlag, 1978.","DOI":"10.1007\/3-540-08766-4"},{"key":"17_CR4","volume-title":"Formal Specification of Software Development","author":"D. Bj\u00f8rner","year":"1982","unstructured":"Dines Bj\u00f8rner and Cliff B. Jones. Formal Specification of Software Development. Prentice Hall, Englewood Cliffs, 1982."},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Andrzej J. Blikle. MetaSoft Primer. Towards a Metalanguage of Applied Denotational Semantics, volume 288 of LNCS. Springer-Verlag, 1987.","DOI":"10.1007\/3-540-18657-3"},{"key":"17_CR6","unstructured":"Andrzej J. Blikle and Andrzej Tarlecki. Naive denotational semantics. In Proceedings IFIP Congress 1983. North Holland, 1983."},{"key":"17_CR7","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0304-3975(83)90059-2","volume":"25","author":"B. Courcelle","year":"1983","unstructured":"Bruno Courcelle. Fundamental properties of infinite trees. Theoretical Computer Science, 25:95\u2013169, 1983.","journal-title":"Theoretical Computer Science"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Carl Gunter and Achim Jung. Coherence and consistency in domains. In 3rd IEEE Symposium on Logic in Computer Science, pages 309\u2013317. IEEE, 1988.","DOI":"10.1109\/LICS.1988.5129"},{"key":"17_CR9","series-title":"Technical report","volume-title":"The dynamic semantics of the BSI\/VDM specification language","year":"1990","unstructured":"Peter Gorm Larsen, editor. The dynamic semantics of the BSI\/VDM specification language. Technical report, IFAD, Munkebj\u00e6rgv\u00e6nget 17, DK-5230 Odense M, Denmark, July 1990."},{"key":"17_CR10","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/0304-3975(90)90165-E","volume":"73","author":"H. Huwig","year":"1990","unstructured":"Hagen Huwig and Axal Poign\u00e9. A note on inconsistencies caused by fixed-points in a cartesian closed category. Theoretical Computer Science, 73:101\u2013112, 1990.","journal-title":"Theoretical Computer Science"},{"key":"17_CR11","series-title":"LNCS, vol. 252","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1007\/3-540-17654-3_13","volume-title":"VDM\u2014A Formal Method at Work, VDM-Europe Symposium","author":"Brian Q. Q. Monahan","year":"1987","unstructured":"Brian Q. Monahan. A type model for VDM. In Dines Bj\u00f8rner and Cliff B. Jones, editors, VDM\u2014A Formal Method at Work, VDM-Europe Symposium, Brussels, pages 210\u2013236. LNCS, vol. 252, Springer-Verlag, 1987."},{"key":"17_CR12","series-title":"LNCS, vol. 328","doi-asserted-by":"crossref","first-page":"376","DOI":"10.1007\/3-540-50214-9_25","volume-title":"VDM: The Way Ahead","author":"M. Nielsen","year":"1988","unstructured":"M. Nielsen, K. Havelund, K. R. Wagner, and C. George. The RAISE language, methods and tools. In R. Bloomfield, R. Jones, and L. Marshall, editors, VDM: The Way Ahead, 2nd VDM-Europe Symposium, Dublin, pages 376\u2013405. LNCS, vol. 328, Springer-Verlag, 1988."},{"key":"17_CR13","unstructured":"Gordon Plotkin. Domains. Postgraduate Course\u2014Lecture Notes, Edinburgh University, 1985."},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"M. B. Smyth. Quasi-uniformities: Reconciling domains with metric spaces. LNCS vol. 298, 1987.","DOI":"10.1007\/3-540-19020-1_12"},{"issue":"1","key":"17_CR15","doi-asserted-by":"crossref","first-page":"103","DOI":"10.3233\/FI-1978-2108","volume":"2","author":"J. Tiuryn","year":"1978","unstructured":"J. Tiuryn. Fixed points and algebras with infinitely long expressions. Part I. Fundamenta Informatics, 2(1):103\u2013128, 1978. also in Proceedings MFCS'77, LNCS, vol. 53, 1977.","journal-title":"Fundamenta Informatics"},{"key":"17_CR16","series-title":"LNCS, vol. 428","doi-asserted-by":"crossref","first-page":"552","DOI":"10.1007\/3-540-52513-0_27","volume-title":"VDM & Z: Formal Methods in Software Development, 3rd VDM-Europe Symposium","author":"A. Tarlecki","year":"1990","unstructured":"Andrzej Tarlecki and Morten Wieth. A naive domain universe for VDM. In Dines Bj\u00f8rner, editor, VDM & Z: Formal Methods in Software Development, 3rd VDM-Europe Symposium, Kiel, pages 552\u2013579. LNCS, vol. 428, Springer-Verlag, 1990."}],"container-title":["Lecture Notes in Computer Science","VDM'91 Formal Software Development Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54834-3_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T03:59:19Z","timestamp":1640923159000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54834-3_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540548348","9783540464495"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-54834-3_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}