{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T06:05:21Z","timestamp":1725602721899},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642229435"},{"type":"electronic","value":"9783642229442"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22944-2_32","type":"book-chapter","created":{"date-parts":[[2011,8,25]],"date-time":"2011-08-25T05:45:59Z","timestamp":1314251159000},"page":"413-419","source":"Crossref","is-referenced-by-count":1,"title":["Shacc: A Functional Prototyper for a Component Calculus"],"prefix":"10.1007","author":[{"given":"Andr\u00e9","family":"Martins","sequence":"first","affiliation":[]},{"given":"Lu\u00eds S.","family":"Barbosa","sequence":"additional","affiliation":[]},{"given":"Nuno F.","family":"Rodrigues","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"8","key":"32_CR1","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":"32_CR2","series-title":"Elect. Notes in Theor. Comp. Sci.","volume-title":"CMCS 2003","author":"L.S. Barbosa","year":"2003","unstructured":"Barbosa, L.S., Oliveira, J.N.: State-based components made generic. In: Peter Gumm, H. (ed.) CMCS 2003. Elect. Notes in Theor. Comp. Sci., vol.\u00a082.1. Elsevier, Amsterdam (2003)"},{"issue":"1-2","key":"32_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":"32_CR4","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1142\/9789812772831_0003","volume-title":"Mathematical Frameworks for Component Software","author":"L.S. Barbosa","year":"2006","unstructured":"Barbosa, L.S., Sun, M., Aichernig, B.K., Rodrigues, N.: On the semantics of componentware: A coalgebraic perspective. In: He, J., Liu, Z. (eds.) Mathematical Frameworks for Component Software, pp. 69\u2013117. World Scientific, Singapore (2006)"},{"key":"32_CR5","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."}],"container-title":["Lecture Notes in Computer Science","Algebra and Coalgebra in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22944-2_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T11:39:42Z","timestamp":1620041982000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22944-2_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642229435","9783642229442"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22944-2_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}