{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T07:59:56Z","timestamp":1743062396265,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642331817"},{"type":"electronic","value":"9783642331824"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33182-4_1","type":"book-chapter","created":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T21:30:53Z","timestamp":1346535053000},"page":"1-5","source":"Crossref","is-referenced-by-count":0,"title":["Software Components as Invariant-Typed Arrows"],"prefix":"10.1007","author":[{"given":"Luis Soares","family":"Barbosa","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"55","DOI":"10.21136\/CMJ.1976.101372","volume":"26","author":"J. Ad\u00e1mek","year":"1976","unstructured":"Ad\u00e1mek, J.: Limits and colimits in generalized algebraic categories. Czechoslovak Mathematical Journal\u00a026, 55\u201364 (1976)","journal-title":"Czechoslovak Mathematical Journal"},{"issue":"8","key":"1_CR2","first-page":"891","volume":"9","author":"L.S. Barbosa","year":"2003","unstructured":"Barbosa, L.S.: Towards a Calculus of State-based Software Components. Journal of Universal Computer Science\u00a09(8), 891\u2013909 (2003)","journal-title":"Journal of Universal Computer Science"},{"issue":"1-2","key":"1_CR3","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.tcs.2006.07.030","volume":"365","author":"L.S. Barbosa","year":"2006","unstructured":"Barbosa, L.S., Oliveira, J.N.: Transposing partial components: an exercise on coalgebraic refinement. Theor. Comp. Sci.\u00a0365(1-2), 2\u201322 (2006)","journal-title":"Theor. Comp. Sci."},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-540-79980-1_7","volume-title":"Algebraic Methodology and Software Technology","author":"L.S. Barbosa","year":"2008","unstructured":"Barbosa, L.S., Oliveira, J.N., Silva, A.: Calculating Invariants as Coreflexive Bisimulations. In: Meseguer, J., Rosu, G. (eds.) AMAST 2008. LNCS, vol.\u00a05140, pp. 83\u201399. Springer, Heidelberg (2008)"},{"key":"1_CR5","unstructured":"Bird, R., Moor, O.: The Algebra of Programming. Series in Computer Science. Prentice Hall (1997)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract state machines: A method for high-level system design and analysis. Springer (2003)","DOI":"10.1007\/978-3-642-18216-7"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/3-540-18508-9_24","volume-title":"Category Theory and Computer Science","author":"T. Hagino","year":"1987","unstructured":"Hagino, T.: A Typed Lambda Calculus with Categorical Type Constructors. In: Pitt, D.H., Rydeheard, D.E., Poign\u00e9, A. (eds.) Category Theory and Computer Science. LNCS, vol.\u00a0283, pp. 140\u2013157. Springer, Heidelberg (1987)"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1016\/j.tcs.2005.09.072","volume":"351","author":"S. Meng","year":"2005","unstructured":"Meng, S., Barbosa, L.S.: Components as coalgebras: The refinement dimension. Theor. Comp. Sci.\u00a0351, 276\u2013294 (2005)","journal-title":"Theor. Comp. Sci."},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Meng, S., Barbosa, L.S.: Towards the introduction of qos information in a component model. In: Shin, S.Y., Ossowski, S., Schumacher, M., Palakal, M.J., Hung, C.-C. (eds.) Proceedings of the 2010 ACM Symposium on Applied Computing, Sierre, Switzerland, pp. 2045\u20132046. ACM (2010)","DOI":"10.1145\/1774088.1774517"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-642-03153-3_5","volume-title":"Language Engineering and Rigorous Software Development","author":"J.N. Oliveira","year":"2009","unstructured":"Oliveira, J.N.: Extended Static Checking by Calculation Using the Pointfree Transform. In: Bove, A., Barbosa, L.S., Pardo, A., Pinto, J.S. (eds.) LerNet 2008. LNCS, vol.\u00a05520, pp. 195\u2013251. Springer, Heidelberg (2009)"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Poll, E., Zwanenburg, J.: From algebras and coalgebras to dialgebras. In: CMCS 2001. ENTCS, vol.\u00a044, pp. 1\u201319. Elsevier (2001)","DOI":"10.1016\/S1571-0661(04)80915-0"},{"key":"1_CR12","first-page":"112","volume":"59","author":"H. Reichel","year":"1996","unstructured":"Reichel, H.: Unifying adt\u2013 and evolving algebra specifications. EATCS Bulletin\u00a059, 112\u2013126 (1996)","journal-title":"EATCS Bulletin"},{"key":"1_CR13","doi-asserted-by":"publisher","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. Theoretical Computer Science\u00a0249, 3\u201380 (2000)","journal-title":"Theoretical Computer Science"},{"key":"1_CR14","first-page":"49","volume":"1","author":"V. Trnkov\u00e1","year":"1972","unstructured":"Trnkov\u00e1, V., Goralc\u00edk, P.: On products in generalized algebraic categories. Commentationes Mathematicae Universitatis Carolinae\u00a01, 49\u201389 (1972)","journal-title":"Commentationes Mathematicae Universitatis Carolinae"},{"key":"1_CR15","first-page":"143","volume":"12","author":"V. Trnkov\u00e1","year":"1971","unstructured":"Trnkov\u00e1, V.: On descriptive classification of set-functors. I. Commentat. Math. Univ. Carol.\u00a012, 143\u2013174 (1971)","journal-title":"Commentat. Math. Univ. Carol."},{"key":"1_CR16","unstructured":"Voutsadakis, G.: Universal dialgebra: Unifying universal algebra and coalgebra. Far East Journal of Mathematical Sciences\u00a044(1) (2010)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33182-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,23]],"date-time":"2021-12-23T06:05:58Z","timestamp":1640239558000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-33182-4_1"}},"subtitle":["(Keynote Talk)"],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642331817","9783642331824"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33182-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}