{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T17:23:56Z","timestamp":1649093036797},"reference-count":27,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2003,7,1]],"date-time":"2003-07-01T00:00:00Z","timestamp":1057017600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,8,17]],"date-time":"2013-08-17T00:00:00Z","timestamp":1376697600000},"content-version":"vor","delay-in-days":3700,"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,7]]},"DOI":"10.1016\/s1571-0661(04)80631-5","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T12:47:47Z","timestamp":1096462067000},"page":"39-56","source":"Crossref","is-referenced-by-count":7,"title":["State-based Components Made Generic"],"prefix":"10.1016","volume":"82","author":[{"given":"L.S.","family":"Barbosa","sequence":"first","affiliation":[]},{"given":"J.N.","family":"Oliveira","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80631-5_NEWBIB1","series-title":"Third International Summer School on Advanced Functional Programming, Braga","first-page":"28","article-title":"Generic programming: An introduction","author":"Backhouse","year":"1998"},{"key":"10.1016\/S1571-0661(04)80631-5_NEWBIB2","series-title":"FMOODS'2000 - Formal Methods for Open Object-Oriented Distributed Systems","first-page":"397","article-title":"Components as processes: An exercise in coalgebraic modeling","author":"Barbosa","year":"2000"},{"key":"10.1016\/S1571-0661(04)80631-5_NEWBIB3","unstructured":"L. S. Barbosa. Components as Coalgebras. PhD thesis, DI, Universidade do Minho, 2001."},{"key":"10.1016\/S1571-0661(04)80631-5_NEWBIB4","series-title":"CMCS'01 - Workshop on Coalgebraic Methods in Computer Science","first-page":"47","article-title":"Process calculi \u00e1 la Bird-Meertens","author":"Barbosa","year":"2001"},{"key":"10.1016\/S1571-0661(04)80631-5_NEWBIB5","doi-asserted-by":"crossref","unstructured":"L. S. Barbosa and J. N. Oliveria. Coinductive interpreters for process calculi. In Proc. of FLOPS'02, pages 183\u2013197, Aizu, Japan, September 2002. Springer Lect. Notes Comp. Sci. (2441).","DOI":"10.1007\/3-540-45788-7_11"},{"key":"10.1016\/S1571-0661(04)80631-5_NEWBIB6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BFb0074299","article-title":"Introduction to bicategories","volume":"47","author":"Benabou","year":"1967","journal-title":"Springer Lect. Notes Maths"},{"key":"10.1016\/S1571-0661(04)80631-5_NEWBIB7","series-title":"The Algebra of Programming","author":"Bird","year":"1997"},{"key":"10.1016\/S1571-0661(04)80631-5_NEWBIB8","series-title":"Current Trends in Programming Methodology","first-page":"80","article-title":"An initial algebra approach to the specification, correctness and implementation of abstract data types","author":"Goguen","year":"1978"},{"issue":"1","key":"10.1016\/S1571-0661(04)80631-5_NEWBIB9","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/321992.321997","article-title":"Initial algebra semantics and continuous algebras","volume":"24","author":"Goguen","year":"1977","journal-title":"Jour. of the ACM"},{"key":"10.1016\/S1571-0661(04)80631-5_NEWBIB10","first-page":"159","article-title":"A tutorial on (co)algebras and (co)induction","volume":"62","author":"Jacobs","year":"1997","journal-title":"EATCS Bulletin"},{"key":"10.1016\/S1571-0661(04)80631-5_NEWBIB11","doi-asserted-by":"crossref","unstructured":"P. Jansson and J. Jeuring. POLYP - a polytypic programming language extension. In POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 470\u2013482. ACM Press, 1997.","DOI":"10.1145\/263699.263763"},{"key":"10.1016\/S1571-0661(04)80631-5_NEWBIB12","series-title":"International Summer School on Advanced Functional Programming","first-page":"68","article-title":"Polytypic programming","author":"Jeuring","year":"1996"},{"key":"10.1016\/S1571-0661(04)80631-5_NEWBIB13","series-title":"Systematic Software Development Using VDM","author":"Jones","year":"1986"},{"issue":"2","key":"10.1016\/S1571-0661(04)80631-5_NEWBIB14","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/S0022-4049(96)00012-6","article-title":"Bicategories of processes","volume":"115","author":"Katis","year":"1997","journal-title":"Journal of Pure and Applied Algebra"},{"issue":"63","key":"10.1016\/S1571-0661(04)80631-5_NEWBIB15","first-page":"123","article-title":"On the algebra of systems with feedback and boundary","volume":"II","author":"Katis","year":"2000","journal-title":"Rendiconti del Circolo Matematico di Palermo"},{"key":"10.1016\/S1571-0661(04)80631-5_NEWBIB16","series-title":"Basic Concepts of Enriched Category Theory volume 64 of London Mathematical Society Lecture Notes Series","author":"Kelly","year":"1982"},{"key":"10.1016\/S1571-0661(04)80631-5_NEWBIB17","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BF01304852","article-title":"Strong functors and monoidal monads","volume":"23","author":"Kock","year":"1972","journal-title":"Archiv f\u00fcr Mathematik"},{"key":"10.1016\/S1571-0661(04)80631-5_NEWBIB18","doi-asserted-by":"crossref","unstructured":"S. Krstic, J. Launchbury, and D. Pavlovic. Categories of processes enriched in final coalgebras. In Proceedings of FOSSACS, pages 303\u2013317. Springer Lect. Notes Comp. Sci. (2030), 2001.","DOI":"10.1007\/3-540-45315-6_20"},{"issue":"5","key":"10.1016\/S1571-0661(04)80631-5_NEWBIB19","doi-asserted-by":"crossref","first-page":"1045","DOI":"10.1002\/j.1538-7305.1955.tb03788.x","article-title":"A method for synthesizing sequential circuits","volume":"34","author":"Mealy","year":"1955","journal-title":"Bell Systems Techn. Jour"},{"key":"10.1016\/S1571-0661(04)80631-5_NEWBIB20","series-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"10.1016\/S1571-0661(04)80631-5_NEWBIB21","unstructured":"J. N. Oliveira. Formal Software Development. Lecture Notes for the MSc in Computer Science, Minho University, 1992."},{"key":"10.1016\/S1571-0661(04)80631-5_NEWBIB22","first-page":"513","article-title":"Types, abstraction and parametric polymorphism","volume":"83","author":"Reynolds","year":"1983","journal-title":"Information Processing"},{"key":"10.1016\/S1571-0661(04)80631-5_NEWBIB23","unstructured":"J. Rutten. Universal coalgebra: A theory of systems. Technical report, CWI, Amsterdam, 1996."},{"issue":"1","key":"10.1016\/S1571-0661(04)80631-5_NEWBIB24","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","article-title":"Universal coalgebra: A theory of systems","volume":"249","author":"Rutten","year":"2000","journal-title":"Theor. Comp. Sci"},{"key":"10.1016\/S1571-0661(04)80631-5_NEWBIB25","series-title":"The Z Notation: A Reference Manual","author":"Spivey","year":"1992"},{"key":"10.1016\/S1571-0661(04)80631-5_NEWBIB26","series-title":"Component Software, Beyond Object-Oriented Programming","author":"Szyperski","year":"1998"},{"key":"10.1016\/S1571-0661(04)80631-5_NEWBIB27","unstructured":"P. Wadler and K. Weihe. Component-based programming under different paradigms. Technical report, Report on the Dagstuhl Seminar 99081, February 1999."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104806315?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104806315?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T05:53:42Z","timestamp":1549173222000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104806315"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,7]]},"references-count":27,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,7]]}},"alternative-id":["S1571066104806315"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80631-5","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,7]]}}}