{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:48:06Z","timestamp":1725475686160},"publisher-location":"Boston, MA","reference-count":16,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387346335"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-0-387-34735-6_20","type":"book-chapter","created":{"date-parts":[[2006,12,14]],"date-time":"2006-12-14T18:32:32Z","timestamp":1166121152000},"page":"231-249","source":"Crossref","is-referenced-by-count":0,"title":["Completing Categorical Algebras"],"prefix":"10.1007","author":[{"given":"Stephen L.","family":"Bloom","sequence":"first","affiliation":[]},{"given":"Zolt\u00e1n","family":"\u00c9sik","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"20_CR1","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1016\/S0022-0000(76)80030-X","volume":"13","author":"S.L. Bloom","year":"1976","unstructured":"[Blo76] S.L. Bloom. Varieties of ordered algebras. J. Computer and System Sci., vol. 13,no. 2 (1976) 200\u2013212","journal-title":"J. Computer and System Sci."},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"[BE93] S.L. Bloom and Z. \u00c9sik. Iteration Theories. Springer, 1993.","DOI":"10.1007\/978-3-642-78034-9"},{"key":"20_CR3","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.ic.2005.01.004","volume":"197\/1\u20132","author":"S.L. Bloom","year":"2005","unstructured":"[BE05] S.L. Bloom and Z. \u00c9sik. The equational theory of regular words. Information and Computation, 197\/1\u20132 (2005) 55\u201389.","journal-title":"Information and Computation"},{"key":"20_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1993.1001","volume":"102\/1","author":"S.L. Bloom","year":"1993","unstructured":"[BET93] S.L. Bloom, Z. \u00c9sik and D. Taubner. Iteration theories of synchronization trees. Information and Computation, 102\/1 (1993) 1\u201355.","journal-title":"Information and Computation"},{"key":"20_CR5","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1051\/ita\/1978120403191","volume":"12\/4","author":"B. Courcelle","year":"1978","unstructured":"[Cou78] B. Courcelle. Frontiers of infinite trees. RAIRO Inform. Th\u00e9or., 12\/4 (1978), 319\u2013337.","journal-title":"RAIRO Inform. Th\u00e9or."},{"issue":"3","key":"20_CR6","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1016\/0022-0000(78)90024-7","volume":"16","author":"C. Elgot","year":"1978","unstructured":"[EBT78] C. Elgot, S.L. Bloom, R. Tindell. The algebraic structure of rooted trees. J. Computer and System Sci., vol. 16,no. 3 (1978) 362\u2013399.","journal-title":"J. Computer and System Sci."},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"[CCL80] G. Gierz, K.H. Hofmann, K. Keimel, J.D. Lawson, M. Mislove, D.S. Scott. A compendium of continuous lattices. Springer-Verlag 1980.","DOI":"10.1007\/978-3-642-67678-9"},{"key":"20_CR8","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24\/1","author":"J.A. Goguen","year":"1977","unstructured":"[GTWW77] J.A. Goguen, J.W. Thatcher, E.G. Wagner and J.B. Wright. Initial algebra semantics and continuous algebras. J. Assoc. Cornput. Mach., 24\/1 (1977), 68\u201395.","journal-title":"J. Assoc. Cornput. Mach."},{"key":"20_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10284-1","volume-title":"Algebraic Semantics","author":"I. Guessarian","year":"1981","unstructured":"[Gue81] I. Guessarian. Algebraic Semantics. Lecture Notes in Computer Science, 99. Springer-Verlag, Berlin-New York, 1981."},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"[Ele02] P.T. Johnstone. Sketches of an Elephant: A topos theory compendium Oxford University Press, 2002.","DOI":"10.1093\/oso\/9780198515982.001.0001"},{"key":"20_CR11","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/S0304-3975(00)00031-1","volume":"237","author":"K. Lodaya","year":"2000","unstructured":"[LW00] K. Lodaya and P. Weil. Series-parallel languages and the bounded-width property. Theoret. Comput. Sci. 237 (2000), 347\u2013380.","journal-title":"Theoret. Comput. Sci."},{"key":"20_CR12","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"[Mil89] R. Milner. Communication and Concurrency. Prentice-Hall, Englewood Cliffs, NJ., 1989."},{"key":"20_CR13","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15\/1","author":"V. Pratt","year":"1986","unstructured":"[Pra86] V. Pratt. Modeling concurrency with partial orders. Internat. J. Parallel Programming, 15\/1 (1986), 33\u201371.","journal-title":"Internat. J. Parallel Programming"},{"key":"20_CR14","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1305\/ndjfl\/1040046090","volume":"37\/2","author":"A. Rensink","year":"1996","unstructured":"[Ren96] A. Rensink. Algebra and theory of order-deterministic pomsets. Combining logics. Notre Dante J. Formal Logic 37\/2 (1996), 283\u2013320.","journal-title":"Notre Dante J. Formal Logic"},{"key":"20_CR15","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/0304-3975(84)90112-9","volume":"34","author":"G. Winskel","year":"1984","unstructured":"[Win84] G. Winskel. Synchronization trees. Theoretical Computer Science, 34 (1984), 33\u201382.","journal-title":"Theoretical Computer Science"},{"key":"20_CR16","first-page":"1","volume":"4","author":"G. Winskel","year":"1995","unstructured":"[WN95] G. Winskel and M. Nielsen. Models for concurrency, in: Handbook of Logic in Computer Science, Vol. 4, Oxford University Press, 1995, 1\u2013148.","journal-title":"Handbook of Logic in Computer Science"}],"container-title":["IFIP International Federation for Information Processing","Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-34735-6_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,9]],"date-time":"2024-02-09T00:15:17Z","timestamp":1707437717000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-34735-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387346335"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-34735-6_20","relation":{},"subject":[]}}