{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:53:43Z","timestamp":1762458823916},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540223818"},{"type":"electronic","value":"9783540278153"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27815-3_38","type":"book-chapter","created":{"date-parts":[[2010,9,14]],"date-time":"2010-09-14T04:32:16Z","timestamp":1284438736000},"page":"506-520","source":"Crossref","is-referenced-by-count":15,"title":["On Refinement of Generic State-Based Software Components"],"prefix":"10.1007","author":[{"given":"Sun","family":"Meng","sequence":"first","affiliation":[]},{"given":"Lu\u00eds S.","family":"Barbosa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"38_CR1","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"Allen, R., Garlan, D.: A formal basis for architectural connection. ACM TOSEM\u00a06(3), 213\u2013249 (1997)","journal-title":"ACM TOSEM"},{"issue":"8","key":"38_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"},{"key":"38_CR3","doi-asserted-by":"crossref","unstructured":"Barbosa, L.S., Oliveira, J.N.: State-based components made generic. In: Gumm, H.P. (ed.) CMCS 2003. Elect. Notes in Theor. Comp. Sci., vol.\u00a082.1 (2003)","DOI":"10.1016\/S1571-0661(04)80631-5"},{"key":"38_CR4","series-title":"Series in Computer Science","volume-title":"The Algebra of Programming","author":"R. Bird","year":"1997","unstructured":"Bird, R., Moor, O.: The Algebra of Programming. Series in Computer Science. Prentice-Hall International, Englewood Cliffs (1997)"},{"key":"38_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1007\/3-540-56596-5_32","volume-title":"Semantics: Foundations and Applications","author":"P. Degano","year":"1993","unstructured":"Degano, P., Gorrieri, R., Rosolini, G.: A categorical view of process refinement. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1992. LNCS, vol.\u00a0666, pp. 138\u2013154. Springer, Heidelberg (1993)"},{"key":"38_CR6","doi-asserted-by":"publisher","first-page":"917","DOI":"10.1016\/S0950-5849(99)00044-0","volume":"41","author":"J. Derrick","year":"1999","unstructured":"Derrick, J., Boiten, E.: Calculating upward and downward simulations of statebased specifications. Information and Software Technology\u00a041, 917\u2013923 (1999)","journal-title":"Information and Software Technology"},{"key":"38_CR7","unstructured":"Fokkinga, M., Eshuis, R.: Comparing refinements for failure and bisimulation semantics. Technical report, Faculty of Computing Science, Enschede (2000)"},{"key":"38_CR8","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C.A.R. Hoare","year":"1972","unstructured":"Hoare, C.A.R.: Proof of correctness of data representations. Acta Informatica\u00a01, 271\u2013281 (1972)","journal-title":"Acta Informatica"},{"key":"38_CR9","doi-asserted-by":"crossref","unstructured":"Jacobs, B., Hughes, J.: Simulations in coalgebra. In: Gumm, H.P. (ed.) CMCS 2003, Warsaw, April 2003. Elect. Notes in Theor. Comp. Sci., vol.\u00a082.1 (2003)","DOI":"10.1016\/S1571-0661(04)80636-4"},{"key":"38_CR10","series-title":"Vdm. Series in Computer Science","volume-title":"Systematic Software Development Using","author":"C.B. Jones","year":"1986","unstructured":"Jones, C.B.: Systematic Software Development Using. Vdm. Series in Computer Science. Prentice-Hall International, Englewood Cliffs (1986)"},{"key":"38_CR11","doi-asserted-by":"crossref","unstructured":"Liskov, B.: Data abstraction and hierarchy. SIGPLAN Notices\u00a023(3) (1988)","DOI":"10.1145\/62139.62141"},{"key":"38_CR12","unstructured":"Meng, S., Aichernig, B.: Towards a Coalgebraic Semantics of UML: Class Diagrams and Use Cases. Technical Report 272, UNU\/IIST (January 2003)"},{"issue":"1","key":"38_CR13","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1051\/ita:2001109","volume":"35","author":"E. Poll","year":"2001","unstructured":"Poll, E.: A coalgebraic semantics of subtyping. Theorectical Informatica and Apllications\u00a035(1), 61\u201382 (2001)","journal-title":"Theorectical Informatica and Apllications"},{"issue":"1","key":"38_CR14","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. Theor. Comp. Sci.\u00a0249(1), 3\u201380 (2000); Revised version of CWI Techn. Rep. CS-R9652 (1996)","journal-title":"Theor. Comp. Sci."},{"key":"38_CR15","volume-title":"Component Software, Beyond Object-Oriented Programming","author":"C. Szyperski","year":"1998","unstructured":"Szyperski, C.: Component Software, Beyond Object-Oriented Programming. Addison-Wesley, Reading (1998)"},{"key":"38_CR16","unstructured":"Wadler, P., Weihe, K.: Component-based programming under different paradigms. Technical report, Dagstuhl Seminar 99081 (February 1999)"},{"key":"38_CR17","volume-title":"Using Z : Specification, Refinement and Proof","author":"J. Woodcock","year":"1996","unstructured":"Woodcock, J., Davies, J.: Using Z: Specification, Refinement and Proof. Prentice-Hall International, Englewood Cliffs (1996)"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27815-3_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:22:31Z","timestamp":1605759751000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27815-3_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540223818","9783540278153"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27815-3_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}