{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:17:13Z","timestamp":1740097033656,"version":"3.37.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319062501"},{"type":"electronic","value":"9783319062518"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06251-8_8","type":"book-chapter","created":{"date-parts":[[2014,4,8]],"date-time":"2014-04-08T01:32:39Z","timestamp":1396920759000},"page":"119-138","source":"Crossref","is-referenced-by-count":1,"title":["Preparing Relational Algebra for \u201cJust Good Enough\u201d Hardware"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 N.","family":"Oliveira","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/11783596_7","volume-title":"Mathematics of Program Construction","author":"R. Backhouse","year":"2006","unstructured":"Backhouse, R., Michaelis, D.: Exercises in quantifier manipulation. In: Uustalu, T. (ed.) MPC 2006. LNCS, vol.\u00a04014, pp. 69\u201381. Springer, Heidelberg (2006)"},{"issue":"8","key":"8_CR2","first-page":"891","volume":"9","author":"L. Barbosa","year":"2003","unstructured":"Barbosa, L.: Towards a Calculus of State-based Software Components. JUCS\u00a09(8), 891\u2013909 (2003)","journal-title":"JUCS"},{"issue":"1","key":"8_CR3","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.tcs.2006.07.030","volume":"365","author":"L. Barbosa","year":"2006","unstructured":"Barbosa, L., Oliveira, J.: Transposing Partial Components \u2014 An Exercise on Coalgebraic Refinement. Theor. Comp. Sci.\u00a0365(1), 2\u201322 (2006), http:\/\/dx.doi.org\/10.1016\/j.tcs.2006.07.030","journal-title":"Theor. Comp. Sci."},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Beck, J.: Distributive laws. In: Eckmann, B. (ed.) Seminar on Triples and Categorical Homology Theory. Lecture Notes in Mathematics, vol.\u00a080, pp. 119\u2013140. Springer (1969)","DOI":"10.1007\/BFb0083084"},{"key":"8_CR5","unstructured":"Bird, R., de Moor, O.: Algebra of Programming. Series in Computer Science. Prentice-Hall International (1997)"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/j.ic.2011.12.002","volume":"211","author":"F. Bonchi","year":"2012","unstructured":"Bonchi, F., Bonsangue, M., Boreale, M., Rutten, J., Silva, A.: A coalgebraic perspective on linear weighted automata. Inf. & Comp.\u00a0211, 77\u2013105 (2012)","journal-title":"Inf. & Comp."},{"volume-title":"Relational methods in computer science","year":"1997","key":"8_CR7","unstructured":"Brink, C., Kahl, W., Schmidt, G. (eds.): Relational methods in computer science. Springer-Verlag New York, Inc., New York (1997)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Coecke, B. (ed.): New Structures for Physics. Lecture Notes in Physics, vol.\u00a0831. Springer (2011)","DOI":"10.1007\/978-3-642-12821-9"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-540-73551-9_10","volume-title":"Component-Based Software Engineering","author":"V. Cortellessa","year":"2007","unstructured":"Cortellessa, V., Grassi, V.: A modeling approach to analyze the impact of error propagation on reliability of component-based systems. In: Schmidt, H.W., Crnkovi\u0107, I., Heineman, G.T., Stafford, J.A. (eds.) CBSE 2007. LNCS, vol.\u00a04608, pp. 140\u2013156. Springer, Heidelberg (2007)"},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1017\/S0956796805005721","volume":"16","author":"M. Erwig","year":"2006","unstructured":"Erwig, M., Kollmansberger, S.: Functional pearls: Probabilistic functional programming in Haskell. J. Funct. Program.\u00a016, 21\u201334 (2006)","journal-title":"J. Funct. Program."},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Frias, M., Baum, G., Haeberer, A.: Fork algebras in algebra, logic and computer science. Fundam. Inform., 1\u201325 (1997)","DOI":"10.3233\/FI-1997-32101"},{"issue":"4","key":"8_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2168\/LMCS-3(4:11)2007","volume":"3","author":"I. Hasuo","year":"2007","unstructured":"Hasuo, I., Jacobs, B., Sokolova, A.: Generic trace semantics via coinduction. Logical Methods in Computer Science\u00a03(4), 1\u201336 (2007)","journal-title":"Logical Methods in Computer Science"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Kahl, W.: Refinement and development of programs from relational specifications. ENTCS 44(3), 4.1\u20134.43 (2003)","DOI":"10.1016\/S1571-0661(04)80932-0"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/978-3-642-32940-1_29","volume-title":"CONCUR 2012 \u2013 Concurrency Theory","author":"H. Kerstan","year":"2012","unstructured":"Kerstan, H., K\u00f6nig, B.: Coalgebraic trace semantics for probabilistic transition systems based on measure theory. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol.\u00a07454, pp. 410\u2013424. Springer, Heidelberg (2012)"},{"issue":"1","key":"8_CR15","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/BF01304852","volume":"23","author":"A. Kock","year":"1972","unstructured":"Kock, A.: Strong functors and monoidal monads. Archiv der Mathematik\u00a023(1), 113\u2013120 (1972), http:\/\/dx.doi.org\/10.1007\/BF01304852","journal-title":"Archiv der Mathematik"},{"issue":"2s","key":"8_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2465787.2465795","volume":"12","author":"A. Lingamneni","year":"2013","unstructured":"Lingamneni, A., Enz, C., Palem, K., Piguet, C.: Synthesizing parsimonious inexact circuits through probabilistic design techniques. ACM Trans. Embed. Comput. Syst.\u00a012(2s), 93:1\u201393:26 (2013)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"issue":"11","key":"8_CR17","doi-asserted-by":"publisher","first-page":"2160","DOI":"10.1016\/j.scico.2012.07.012","volume":"78","author":"H. Macedo","year":"2013","unstructured":"Macedo, H., Oliveira, J.: Typing linear algebra: A biproduct-oriented approach. Science of Computer Programming\u00a078(11), 2160\u20132191 (2013)","journal-title":"Science of Computer Programming"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Mari\u0107, O., Sprenger, C.: Verification of a transactional memory manager under hardware failures and restarts (2013), conference paper (submitted)","DOI":"10.1007\/978-3-319-06410-9_31"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"McIver, A., Morgan, C.: Abstraction, Refinement and Proof for Probabilistic Systems. Monographs in Computer Science. Springer (2005)","DOI":"10.1145\/1059816.1059824"},{"key":"8_CR20","unstructured":"Murta, D., Oliveira, J.N.: Calculating risk in functional programming. CoRR abs\/1311.3687 (2013)"},{"issue":"4-6","key":"8_CR21","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1007\/s00165-012-0240-9","volume":"24","author":"J. Oliveira","year":"2012","unstructured":"Oliveira, J.: Towards a linear algebra of programming. Formal Aspects of Computing\u00a024(4-6), 433\u2013458 (2012)","journal-title":"Formal Aspects of Computing"},{"issue":"06","key":"8_CR22","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1142\/S0129054113400145","volume":"24","author":"J. Oliveira","year":"2013","unstructured":"Oliveira, J.: Weighted automata as coalgebras in categories of matrices. Int. Journal of Found. of Comp. Science\u00a024(06), 709\u2013728 (2013)","journal-title":"Int. Journal of Found. of Comp. Science"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Panangaden, P.: Labelled Markov Processes. Imperial College Press (2009)","DOI":"10.1142\/9781848162891"},{"key":"#cr-split#-8_CR24.1","doi-asserted-by":"crossref","unstructured":"Rutten, J.: Universal coalgebra: A theory of systems. Theor. Comp. Sci.\u00a0249(1), 3-80 (2000)","DOI":"10.1016\/S0304-3975(00)00056-6"},{"key":"#cr-split#-8_CR24.2","unstructured":"Revised version of CWI Techn. Rep. CS-R9652 (1996)"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Schmidt, G.: Relational Mathematics. Encyclopedia of Mathematics and its Applications, vol.\u00a0132. Cambridge University Press (November 2010)","DOI":"10.1017\/CBO9780511778810"},{"issue":"38","key":"8_CR26","doi-asserted-by":"publisher","first-page":"5095","DOI":"10.1016\/j.tcs.2011.05.008","volume":"412","author":"A. Sokolova","year":"2011","unstructured":"Sokolova, A.: Probabilistic systems coalgebraically: A survey. Theor. Comput. Sci.\u00a0412(38), 5095\u20135110 (2011)","journal-title":"Theor. Comput. Sci."},{"key":"8_CR27","unstructured":"Stamatelatos, M., Dezfuli, H.: Probabilistic Risk Assessment Procedures Guide for NASA Managers and Practitioners, NASA\/SP-2011-3421, 2nd edn (December 2011)"},{"key":"8_CR28","unstructured":"Tanaka, M.: Pseudo-Distributive Laws and a Unified Framework for Variable Binding. Ph.D. thesis, School of Informatics, University of Edinburgh (2005)"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06251-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,17]],"date-time":"2020-08-17T11:43:43Z","timestamp":1597664623000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06251-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319062501","9783319062518"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06251-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}