{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,4,2]],"date-time":"2023-04-02T14:13:01Z","timestamp":1680444781540},"reference-count":18,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2001,5,1]],"date-time":"2001-05-01T00:00:00Z","timestamp":988675200000},"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":4472,"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":[[2001,5]]},"DOI":"10.1016\/s1571-0661(04)80902-2","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"47-66","source":"Crossref","is-referenced-by-count":5,"title":["Process Calculi \u00e0 la Bird-Meertens"],"prefix":"10.1016","volume":"44","author":[{"given":"Lu\u00eds S.","family":"Barbosa","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80902-2_NEWBIB1","series-title":"Proc. Math. Foundations of Programming Semantics","article-title":"Final universes of processes","author":"Aczel","year":"1993"},{"key":"10.1016\/S1571-0661(04)80902-2_NEWBIB2","unstructured":"L. S. Barbosa. Components as Coalgebras. PhD thesis, Universidade do Minho (submitted), 2000."},{"key":"10.1016\/S1571-0661(04)80902-2_NEWBIB3","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)80902-2_NEWBIB4","series-title":"The Algebra of Programming","author":"Bird","year":"1997"},{"key":"10.1016\/S1571-0661(04)80902-2_NEWBIB5","series-title":"Logic of Programming and Calculi of Discrete Design, volume 36 of NATO ASI Series F","first-page":"3","article-title":"An introduction to the theory of lists","author":"Bird","year":"1987"},{"key":"10.1016\/S1571-0661(04)80902-2_NEWBIB6","series-title":"Program Specification and Transformation","first-page":"451","article-title":"Two exercises found in a book on algorithmics","author":"Bird","year":"1987"},{"key":"10.1016\/S1571-0661(04)80902-2_NEWBIB7","unstructured":"R. Cockett and T. Fukushima. About Charity. Yellow Series Report No. 92\/480\/18, Dep. Computer Science, University of Calgary, June 1992."},{"key":"10.1016\/S1571-0661(04)80902-2_NEWBIB8","unstructured":"T. Hagino. Category Theoretic Approach to Data Types. Ph.D. thesis, tech. rep. ECS-LFCS-87-38, Laboratory for Foundations of Computer Science, University of Edinburgh, UK, 1987."},{"issue":"145","key":"10.1016\/S1571-0661(04)80902-2_NEWBIB9","first-page":"105","article-title":"Structural induction and coinduction in a fibrational setting","author":"Hermida","year":"1998","journal-title":"Information & Computation"},{"key":"10.1016\/S1571-0661(04)80902-2_NEWBIB10","series-title":"Communicating Sequential Processes","author":"Hoare","year":"1985"},{"key":"10.1016\/S1571-0661(04)80902-2_NEWBIB11","unstructured":"B. Jacobs. The temporal logic of coalgebras via Galois algebras. Techn. rep. CSI-R9906, Comp. Sci. Inst., University of Nijmegen, 1999."},{"issue":"2\u20133","key":"10.1016\/S1571-0661(04)80902-2_NEWBIB12","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0167-6423(90)90023-7","article-title":"Data structures and program transformation","volume":"14","author":"Malcolm","year":"1990","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S1571-0661(04)80902-2_NEWBIB13","doi-asserted-by":"crossref","unstructured":"E. Meijer, M. Fokkinga, and R. Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In J. Hughes, editor, Proceedings of the 1991 ACM Conference on Functional Programming Languages and Computer Architecture, pages 124\u2013144. Springer Lect. Notes Comp. Sci. (523), 1991.","DOI":"10.1007\/3540543961_7"},{"key":"10.1016\/S1571-0661(04)80902-2_NEWBIB14","series-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"10.1016\/S1571-0661(04)80902-2_NEWBIB15","doi-asserted-by":"crossref","DOI":"10.1016\/S0168-0072(98)00042-6","article-title":"Coalgebraic logic","author":"Moss","year":"1999","journal-title":"Ann. Pure & Appl. Logic"},{"key":"10.1016\/S1571-0661(04)80902-2_NEWBIB16","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","article-title":"A lattice\u2013theoretic fixpoint theorem and its applications","volume":"5","author":"Tarski","year":"1955","journal-title":"Pacific Journal of Mathematics"},{"issue":"5","key":"10.1016\/S1571-0661(04)80902-2_NEWBIB17","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1017\/S0960129598002588","article-title":"On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces","volume":"8","author":"Turi","year":"1998","journal-title":"Mathematical Structures in Computer Science"},{"key":"10.1016\/S1571-0661(04)80902-2_NEWBIB18","first-page":"1","article-title":"Models for Concurrency","volume":"vol. 4","author":"Winskel","year":"1995"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104809022?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104809022?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:56:06Z","timestamp":1549191366000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104809022"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,5]]},"references-count":18,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,5]]}},"alternative-id":["S1571066104809022"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80902-2","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2001,5]]}}}