{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,24]],"date-time":"2025-07-24T11:05:51Z","timestamp":1753355151151,"version":"3.41.0"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2016,8,4]],"date-time":"2016-08-04T00:00:00Z","timestamp":1470268800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1007\/s10485-016-9457-8","type":"journal-article","created":{"date-parts":[[2016,8,4]],"date-time":"2016-08-04T04:04:50Z","timestamp":1470283490000},"page":"663-701","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Regular Behaviours with Names"],"prefix":"10.1007","volume":"24","author":[{"given":"Stefan","family":"Milius","sequence":"first","affiliation":[]},{"given":"Lutz","family":"Schr\u00f6der","sequence":"additional","affiliation":[]},{"given":"Thorsten","family":"Wi\u00dfmann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,8,4]]},"reference":[{"key":"9457_CR1","first-page":"157","volume":"14","author":"J Ad\u00e1mek","year":"2005","unstructured":"Ad\u00e1mek, J.: Introduction to coalgebra. Theory Appl. Categ. 14, 157\u2013199 (2005)","journal-title":"Theory Appl. Categ."},{"key":"9457_CR2","doi-asserted-by":"crossref","first-page":"609","DOI":"10.1007\/s10485-014-9372-9","volume":"23","author":"J Ad\u00e1mek","year":"2015","unstructured":"Ad\u00e1mek, J., Levy, P., Milius, S., Moss, L., Sousa, L.: On final coalgebras of power-set functors and saturated trees. Appl. Categ. Struct. 23, 609\u2013641 (2015)","journal-title":"Appl. Categ. Struct."},{"key":"9457_CR3","doi-asserted-by":"crossref","first-page":"1139","DOI":"10.1016\/j.ic.2005.11.005","volume":"204","author":"J Ad\u00e1mek","year":"2006","unstructured":"Ad\u00e1mek, J., Milius, S.: Terminal coalgebras and free iterative theories. Inf. Comput. 204, 1139\u20131172 (2006)","journal-title":"Inf. Comput."},{"issue":"6","key":"9457_CR4","doi-asserted-by":"crossref","first-page":"1085","DOI":"10.1017\/S0960129506005706","volume":"16","author":"J Ad\u00e1mek","year":"2006","unstructured":"Ad\u00e1mek, J., Milius, S., Velebil, J.: Iterative algebras at work. Math. Struct. Comput. Sci. 16(6), 1085\u20131131 (2006)","journal-title":"Math. Struct. Comput. Sci."},{"key":"9457_CR5","doi-asserted-by":"crossref","unstructured":"Ad\u00e1mek, J., Rosick\u00fd, J.: Locally presentable and accessible categories. Cambridge University Press (1994)","DOI":"10.1017\/CBO9780511600579"},{"key":"9457_CR6","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/0304-3975(93)90076-6","volume":"114","author":"M Barr","year":"1993","unstructured":"Barr, M.: Terminal coalgebras in well-founded set theory. Theoret. Comput. Sci. 114, 299\u2013315 (1993)","journal-title":"Theoret. Comput. Sci."},{"key":"9457_CR7","volume-title":"On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling","author":"F Bartels","year":"2004","unstructured":"Bartels, F.: On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling. PhD thesis, Vrije Universiteit Amsterdam (2004)"},{"issue":"1:7","key":"9457_CR8","first-page":"52","volume":"14","author":"M Bonsangue","year":"2013","unstructured":"Bonsangue, M., Milius, S., Silva, A.: Sound and complete axiomatizations of coalgebraic language equivalence. ACM Trans. Comput. Log. 14(1:7), 52 (2013)","journal-title":"ACM Trans. Comput. Log."},{"key":"9457_CR9","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0304-3975(83)90059-2","volume":"25","author":"B Courcelle","year":"1983","unstructured":"Courcelle, B.: Fundamental properties of infinite trees. Theoret. Comput. Sci. 25, 95\u2013169 (1983)","journal-title":"Theoret. Comput. Sci."},{"key":"9457_CR10","doi-asserted-by":"crossref","unstructured":"Elgot, C.: Monadic computation and iterative algebraic theories. In: Rose, H., Sheperdson, J. (eds.) Monadic Logic Colloquium 1973, vol. 80, pp. 175\u2013230 North Holland (1975)","DOI":"10.1016\/S0049-237X(08)71949-9"},{"key":"9457_CR11","doi-asserted-by":"crossref","unstructured":"Gabbay, M., Pitts, A.: A new approach to abstract syntax involving binders. In: Logic in Computer Science, LICS 1999, pp. 214\u2013224. IEEE (1999)","DOI":"10.1109\/LICS.1999.782617"},{"key":"9457_CR12","doi-asserted-by":"crossref","unstructured":"Gabbay, M., Pitts, A. M.: A new approach to abstract syntax involving binders. In: Logic in Computer Science, LICS 1999, pp. 214\u2013224. IEEE Computer Society Press (1999)","DOI":"10.1109\/LICS.1999.782617"},{"key":"9457_CR13","doi-asserted-by":"crossref","unstructured":"Gabriel, P., Ulmer, F.: Lokal pr\u00e4sentierbare Kategorien, vol. 221 of Lect.Notes Math Springer (1971)","DOI":"10.1007\/BFb0059396"},{"key":"9457_CR14","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/s10990-006-8749-3","volume":"19","author":"F Gaducci","year":"2006","unstructured":"Gaducci, F., Miculan, M., Montanari, U.: About permutation algebras, (pre)sheaves and named sets. Higher-order Symb Comput. 19, 283\u2013304 (2006)","journal-title":"Higher-order Symb Comput."},{"key":"9457_CR15","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1016\/0022-0000(79)90032-1","volume":"18","author":"S Ginali","year":"1979","unstructured":"Ginali, S.: Regular trees and the free iterative theory. J. Comput. Syst. Sci. 18, 228\u2013242 (1979)","journal-title":"J. Comput. Syst. Sci."},{"key":"9457_CR16","first-page":"62","volume":"62","author":"B Jacobs","year":"1997","unstructured":"Jacobs, B., Rutten, J.: A tutorial on (co)algebras and (co)induction. EATCS Bulletin 62, 62\u2013222 (1997)","journal-title":"EATCS Bulletin"},{"key":"9457_CR17","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1112\/blms\/7.3.294","volume":"7","author":"P Johnstone","year":"1975","unstructured":"Johnstone, P.: Adjoint lifting theorems for categories of algebras. Bull. Lond. Math. Soc. 7, 294\u2013297 (1975)","journal-title":"Bull. Lond. Math. Soc."},{"key":"9457_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0001-8708(81)90052-9","volume":"42","author":"A Joyal","year":"1981","unstructured":"Joyal, A.: Une th\u00e9orie combinatoire des s\u00e9ries formelles. Adv. Math. 42, 1\u201382 (1981)","journal-title":"Adv. Math."},{"key":"9457_CR19","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/BFb0072514","volume":"1234","author":"A Joyal","year":"1986","unstructured":"Joyal, A.: Foncteurs analytiques et esp\u00e8ces de structures. Lect. Notes Math. 1234, 126\u2013159 (1986)","journal-title":"Lect. Notes Math."},{"key":"9457_CR20","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BF01304852","volume":"23","author":"A Kock","year":"1972","unstructured":"Kock, A.: Strong functors and monoidal monads. Arch. Math. 23, 113\u2013120 (1972)","journal-title":"Arch. Math."},{"key":"9457_CR21","doi-asserted-by":"crossref","unstructured":"Kozen, D., Mamouras, K., Petrisan, D., Silva, A.: Nominal Kleene coalgebra. In: Automata, Languages, and Programming, ICALP 2015, vol. 9135 of Lect. Notes Comput. Sci., pp. 286\u2013298. Springer (2015)","DOI":"10.1007\/978-3-662-47666-6_23"},{"key":"9457_CR22","doi-asserted-by":"crossref","unstructured":"Kurz, A., Petrisan, D., Severi, P., de Vries, F.-J.: Nominal coalgebraic data types with applications to lambda calculus. Log. Meth. Comput. Sci. 9(4) (2013)","DOI":"10.2168\/LMCS-9(4:20)2013"},{"key":"9457_CR23","unstructured":"Kurz, A., Petrisan, D., Velebil, J.: Algebraic theories over nominal sets. CoRR, abs\/1006.3027 (2010)"},{"key":"9457_CR24","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/BF01110627","volume":"103","author":"J Lambek","year":"1968","unstructured":"Lambek, J.: A fixpoint theorem for complete categories. Math. Z. 103, 151\u2013161 (1968)","journal-title":"Math. Z."},{"key":"9457_CR25","doi-asserted-by":"crossref","unstructured":"Makkai, M., Par\u00e9, R.: Accessible categories: the foundation of categorical model theory, vol. 104 of Contemporary Math. Am. Math Soc. (1989)","DOI":"10.1090\/conm\/104"},{"key":"9457_CR26","doi-asserted-by":"crossref","unstructured":"Milius, S.: A sound and complete calculus for finite stream circuits. In: Logic in Computer Science, LICS 2010, pp. 449\u2013458. IEEE Computer Society (2010)","DOI":"10.1109\/LICS.2010.11"},{"key":"9457_CR27","unstructured":"Milius, S., Wi\u00dfmann, T.: Finitary corecursion for the infinitary lambda calculus. In: Moss, L., Sobocinski, P. (eds.) Algebra and Coalgebra in Computer Science, CALCO 2015, vol. 35 of LIPIcs, pp. 336\u2013351 Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2015)"},{"key":"9457_CR28","volume-title":"Investigations into Algebra and Topology over Nominal Sets","author":"D Petri\u015fan","year":"2011","unstructured":"Petri\u015fan, D.: Investigations into Algebra and Topology over Nominal Sets. PhD thesis, University of Leicester (2011)"},{"key":"9457_CR29","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/S0890-5401(03)00138-X","volume":"186","author":"A Pitts","year":"2003","unstructured":"Pitts, A.: Nominal logic, a first order theory of names and binding. Inf. Comput. 186, 165\u2013193 (2003)","journal-title":"Inf. Comput."},{"key":"9457_CR30","doi-asserted-by":"crossref","unstructured":"Pitts, A.: Nominal sets: Names and symmetry in computer science. Cambridge university press (2013)","DOI":"10.1017\/CBO9781139084673"},{"key":"9457_CR31","unstructured":"Plotkin, G., Turi, D.: Towards a mathematical operational semantics. In: Logic in Computer Science, LICS 1997, pp. 280\u2013291. IEEE (1997)"},{"issue":"1","key":"9457_CR32","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"J Rutten","year":"2000","unstructured":"Rutten, J.: Universal coalgebra: a theory of systems. Theoret. Comput. Sci. 249 (1), 3\u201380 (2000)","journal-title":"Theoret. Comput. Sci."},{"issue":"3","key":"9457_CR33","doi-asserted-by":"crossref","first-page":"9","DOI":"10.2168\/LMCS-4(3:9)2008","volume":"4","author":"J Rutten","year":"2008","unstructured":"Rutten, J.: Rational streams coalgebraically. Log. Meth Comput. Sci. 4(3), 9 (2008)","journal-title":"Log. Meth Comput. Sci."},{"key":"9457_CR34","doi-asserted-by":"crossref","unstructured":"Tzevelekos, N.: Full abstraction for nominal general references. In: Logic in Computer Science, LICS 2007, pp. 399\u2013410. IEEE (2007)","DOI":"10.1109\/LICS.2007.21"},{"key":"9457_CR35","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1016\/j.tcs.2004.12.009","volume":"338","author":"J Worrell","year":"2005","unstructured":"Worrell, J.: On the final sequence of a finitary set functor. Theoret. Comput. Sci. 338, 184\u2013199 (2005)","journal-title":"Theoret. Comput. Sci."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-016-9457-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-016-9457-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-016-9457-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T12:20:02Z","timestamp":1749039602000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-016-9457-8"}},"subtitle":["On Rational Fixpoints of Endofunctors on Nominal Sets"],"short-title":[],"issued":{"date-parts":[[2016,8,4]]},"references-count":35,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2016,10]]}},"alternative-id":["9457"],"URL":"https:\/\/doi.org\/10.1007\/s10485-016-9457-8","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"type":"print","value":"0927-2852"},{"type":"electronic","value":"1572-9095"}],"subject":[],"published":{"date-parts":[[2016,8,4]]}}}