{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:22:07Z","timestamp":1720624927083},"reference-count":39,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2003,2,1]],"date-time":"2003-02-01T00:00:00Z","timestamp":1044057600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3831,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,2]]},"DOI":"10.1016\/s1571-0661(04)80558-9","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"47-61","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Unique, guarded fixed points in an additive setting"],"prefix":"10.1016","volume":"69","author":[{"given":"Stephen L.","family":"Bloom","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zolt\u00e1n","family":"\u00c9sik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB1","doi-asserted-by":"crossref","first-page":"133","DOI":"10.4064\/fm-3-1-133-181","article-title":"Sur les operations dans les ensembles abstraits et leur applications aux \u00e9quations int\u00e9grales","volume":"22","author":"Banach","year":"1922","journal-title":"Fundamenta Mathematica"},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB2","unstructured":"H. Bekic\u0306, Definable operations in general algebras, and the theory of automata and flowcharts. Technical Report, IBM Laboratory, Vienna, 1969."},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB3","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0304-3975(82)90019-6","article-title":"Recognizable formal power series on trees","volume":"18","author":"Berstel","year":"1982","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB4","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1137\/0209002","article-title":"Solutions of the iteration equation and extension of the scalar iteration operation","volume":"9","author":"Bloom","year":"1980","journal-title":"SIAM J. Computing"},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB5","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1137\/0209039","article-title":"Vector iteration of pointed iterative theories","volume":"9","author":"Bloom","year":"1980","journal-title":"SIAM J. Computing"},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB6","series-title":"EATCS Monographs on Theoretical Computer Science","article-title":"Iteration Theories: The Equational Logic of Iterative Processes","author":"Bloom","year":"1993"},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(96)00248-4","article-title":"The equational logic of fixed points","volume":"179","author":"Bloom","year":"1997","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB8","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/S0022-0000(77)80015-9","article-title":"Scalar and vector iteration","volume":"14","author":"Bloom","year":"1977","journal-title":"J. Computer and System Sciences"},{"issue":"no. 3","key":"10.1016\/S1571-0661(04)80558-9_NEWBIB9","first-page":"165","article-title":"Convex algebras, convex modules and formal power series on trees","volume":"1","author":"Bozapalidis","year":"1996","journal-title":"J. Autom. Lang. Comb"},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB10","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BF01456931","article-title":"Uber Abbildung von Mannigfaltigkeiten","volume":"71","author":"Brouwer","year":"1910","journal-title":"Math. Annalen"},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB11","series-title":"Regular Algebra and Finite Machines","author":"Conway","year":"1971"},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB12","unstructured":"J.W. De Bakker and D. Scott. A theory of programs. Technical report, IBM Vienna, 1969."},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB13","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1016\/S0019-9958(82)91250-5","article-title":"Processes and the denotational semantics of concurrency","volume":"54","author":"de Bakker","year":"1982","journal-title":"Information and Control"},{"issue":"1\u20132","key":"10.1016\/S1571-0661(04)80558-9_NEWBIB14","first-page":"14","article-title":"Comparative Metric Semantics","volume":"75","author":"de Bakker","year":"1990","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"10.1016\/S1571-0661(04)80558-9_NEWBIB15","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0304-3975(91)90303-J","article-title":"Four domains for concurrency","volume":"90","author":"de Bakker","year":"1991","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB16","first-page":"175","article-title":"Monadic computation and iterative algebraic theories","volume":"volume 80","author":"Elgot","year":"1975"},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB17","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1016\/0021-8693(76)90106-X","article-title":"Matricial theories","volume":"42","author":"Elgot","year":"1976","journal-title":"J. of Algebra"},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB18","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1016\/S0022-0000(77)80034-2","article-title":"IO and OI","volume":"15","author":"Engelfriet","year":"1977","journal-title":"J. Comput. System Sci"},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB19","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1006\/inco.1998.2746","article-title":"Group axioms for iteration","volume":"148","author":"\u00c9sik","year":"1999","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB20","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/S0304-3975(97)00158-8","article-title":"Equational properties of iteration in algebraically complete categories","volume":"195","author":"\u00c9sik","year":"1998","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB21","series-title":"Automata Studies","first-page":"3","article-title":"Representation of events in nerve nets and finite automata","author":"Kleene","year":"1956"},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB22","first-page":"95","article-title":"Algebraically complete categories","volume":"vol. 1488","author":"Freyd","year":"1991"},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB23","first-page":"95","article-title":"Remarks on algebraically compact categories","volume":"vol. 77","author":"Freyd","year":"1992"},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB24","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/0304-3975(91)90395-I","article-title":"Complete systems of B-rational identities","volume":"89","author":"Krob","year":"1991","journal-title":"Theoretical Computer Science"},{"issue":"no. 1","key":"10.1016\/S1571-0661(04)80558-9_NEWBIB25","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0304-3975(94)90276-3","article-title":"A complete system of identities for one-letter rational expressions with multiplicities in the tropical semiring","volume":"134","author":"Bonnier-Rigny","year":"1994","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB26","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/0304-3975(91)90147-T","article-title":"Automata and languages generalized to \u03c9-continuous semirings","volume":"79","author":"Kuich","year":"1991","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB27","unstructured":"W. Kuich. Formal power series over trees. In Proc. 3rd International Conf. Developments in Language Theory (S. Bozapalidis, ed), Aristotle University of Thessaloniki, 1998, 61\u2013101."},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB28","doi-asserted-by":"crossref","unstructured":"F.W. Lawvere. Functorial semantics of algebraic theories. In: Proceedings of the National Academy of Sciences USA, 50 (1963), 869\u2013873.","DOI":"10.1073\/pnas.50.5.869"},{"issue":"no. 2","key":"10.1016\/S1571-0661(04)80558-9_NEWBIB29","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BF01752392","article-title":"Algebraic specification of data types: a synthetic approach","volume":"14","author":"Lehmann","year":"1981","journal-title":"Math. Systems Theory"},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB30","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1016\/0022-0000(84)90023-0","article-title":"A complete inference system for a class of regular behaviors","volume":"28","author":"Milner","year":"1984","journal-title":"J. Comp. System Sci"},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB31","doi-asserted-by":"crossref","unstructured":"D. Niwinski. On fixed-point clones, in: Proc. ICALP '86, LNCS 226, Springer\u2013Verlag, 1986, 464\u2013473.","DOI":"10.1007\/3-540-16761-7_96"},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB32","unstructured":"G.D. Plotkin. Domains. Lecture Notes, Department of Computer Science, University of Edinburgh, 1983."},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB33","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1145\/321312.321326","article-title":"Two complete axioms systems for the algebra of regular events","volume":"13","author":"Salomaa","year":"1966","journal-title":"J. of the ACM"},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB34","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/BF01703264","article-title":"On regular expressions and regular canonical systems","volume":"2","author":"Salomaa","year":"1968","journal-title":"Math. Syst. Theory"},{"issue":"3","key":"10.1016\/S1571-0661(04)80558-9_NEWBIB35","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1137\/0205037","article-title":"Data types as lattices","volume":"5","author":"Scott","year":"1976","journal-title":"SIAM J. Computing"},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB36","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0304-3975(93)90112-7","article-title":"A characterization of the least fixed point operator by dinaturality","volume":"118","author":"Simpson","year":"1993","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB37","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1137\/0211062","article-title":"The category theoretic solution of recursive domain equations","volume":"11","author":"Smyth","year":"1982","journal-title":"SIAM Journal of Computing"},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB38","doi-asserted-by":"crossref","unstructured":"A. Simpson and G. Plotkin. Complete Axioms for Categorical Fixed-point operations. In: Proceedings of the 15th Annual IEEE Logic in Computer Science Colloq., 30\u201341, (2000).","DOI":"10.1109\/LICS.2000.855753"},{"key":"10.1016\/S1571-0661(04)80558-9_NEWBIB39","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","article-title":"A lattice-theoretical fixed point theorem and its applications","volume":"5","author":"Tarski","year":"1955","journal-title":"Pacific J. Math"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104805589?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104805589?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T10:54:33Z","timestamp":1549191273000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104805589"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,2]]},"references-count":39,"alternative-id":["S1571066104805589"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80558-9","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,2]]}}}