{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T22:19:27Z","timestamp":1742941167050,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642316050"},{"type":"electronic","value":"9783642316067"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31606-7_5","type":"book-chapter","created":{"date-parts":[[2012,8,25]],"date-time":"2012-08-25T07:47:55Z","timestamp":1345880875000},"page":"52-65","source":"Crossref","is-referenced-by-count":1,"title":["Typed Linear Algebra for Weigthed (Probabilistic) Automata"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 N.","family":"Oliveira","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Abadir, K., Magnus, J.: Matrix algebra. Econometric exercises, vol.\u00a01. Cambridge University Press (2005)","DOI":"10.1017\/CBO9780511810800"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Andova, S., McIver, A., D\u2019Argenio, P.R., Cuijpers, P.J.L., Markovski, J., Morgan, C., N\u00fa\u00f1ez, M. (eds.): Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications. EPTCS, vol.\u00a013 (2009)","DOI":"10.4204\/EPTCS.13.0"},{"key":"5_CR3","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)"},{"key":"5_CR4","unstructured":"Backhouse, R.: Mathematics of Program Construction, 608 pages. Univ. of Nottingham (2004), draft of book in preparation"},{"issue":"8","key":"5_CR5","first-page":"891","volume":"9","author":"L. Barbosa","year":"2003","unstructured":"Barbosa, L.: 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":"5_CR6","unstructured":"Bird, R., de Moor, O.: Algebra of Programming. Series in Computer Science. Prentice-Hall International (1997)"},{"issue":"4","key":"5_CR7","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/BF00122683","volume":"4","author":"S. Bloom","year":"1996","unstructured":"Bloom, S., Sabadini, N., Walters, R.: Matrices, machines and behaviors. Applied Categorical Structures\u00a04(4), 343\u2013360 (1996)","journal-title":"Applied Categorical Structures"},{"key":"5_CR8","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. Information and Computation\u00a0211, 77\u2013105 (2012)","journal-title":"Information and Computation"},{"issue":"1-3","key":"5_CR9","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.tcs.2007.11.018","volume":"393","author":"P. Buchholz","year":"2008","unstructured":"Buchholz, P.: Bisimulation relations for weighted automata. Theoretical Computer Science\u00a0393(1-3), 109\u2013123 (2008)","journal-title":"Theoretical Computer Science"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Droste, M., Gastin, P.: Weighted automata and weighted logics. In: Kuich, W., Vogler, H., Droste, M. (eds.) Handbook of Weighted Automata. EATCS Monographs in Theoretical Computer Science, ch. 5, pp. 175\u2013211. Springer (2009)","DOI":"10.1007\/978-3-642-01492-5_5"},{"key":"5_CR11","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":"5_CR12","unstructured":"Freyd, P., Scedrov, A.: Categories, Allegories, Mathematical Library, vol.\u00a039. North-Holland (1990)"},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/2034773.2034777","volume-title":"Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming, ICFP 2011","author":"J. Gibbons","year":"2011","unstructured":"Gibbons, J., Hinze, R.: Just do it: simple monadic equational reasoning. In: Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming, ICFP 2011, pp. 2\u201314. ACM, New York (2011)"},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/s00165-010-0157-0","volume":"23","author":"E. Hehner","year":"2011","unstructured":"Hehner, E.: A probability perspective. Formal Aspects of Computing\u00a023, 391\u2013419 (2011)","journal-title":"Formal Aspects of Computing"},{"issue":"1","key":"5_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"K. Larsen","year":"1991","unstructured":"Larsen, K., Skou, A.: Bisimulation through probabilistic testing. Inf. Comput.\u00a094(1), 1\u201328 (1991)","journal-title":"Inf. Comput."},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-642-13321-3_16","volume-title":"Mathematics of Program Construction","author":"H.D. Macedo","year":"2010","unstructured":"Macedo, H.D., Oliveira, J.N.: Matrices As Arrows! A Biproduct Approach to Typed Linear Algebra. In: Bolduc, C., Desharnais, J., Ktari, B. (eds.) MPC 2010. LNCS, vol.\u00a06120, pp. 271\u2013287. Springer, Heidelberg (2010)"},{"key":"5_CR17","unstructured":"Macedo, H.D., Oliveira, J.N.: Do the middle letters of \u201cOLAP\u201d stand for linear algebra (\u201cLA\u201d)? Technical Report TR-HASLab:04:2011, INESC TEC and University of Minho, Gualtar Campus, Braga (2011a)"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","first-page":"300","volume-title":"FACS 2010","author":"H.D. Macedo","year":"2010","unstructured":"Macedo, H.D., Oliveira, J.N.: Towards Linear Algebras of Components. In: Barbosa, L.S. (ed.) FACS 2010. LNCS, vol.\u00a06921, pp. 300\u2013303. Springer, Heidelberg (2010)"},{"key":"5_CR19","unstructured":"Macedo, H.D., Oliveira, J.N.: Typing linear algebra: A biproduct-oriented approach (2011) (accepted for publication in SCP)"},{"key":"5_CR20","volume-title":"Categories for the Working Mathematician","author":"S. MacLane","year":"1971","unstructured":"MacLane, S.: Categories for the Working Mathematician. Springer, New-York (1971)"},{"key":"5_CR21","unstructured":"MacLane, S., Birkhoff, G.: Algebra. AMS Chelsea (1999)"},{"key":"5_CR22","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":"5_CR23","doi-asserted-by":"crossref","unstructured":"Oliveira, J.: Towards a linear algebra of programming. Accepted for publication in Formal Aspects of Computing (2012)","DOI":"10.1007\/s00165-012-0240-9"},{"key":"5_CR24","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"},{"key":"5_CR25","unstructured":"Sernadas, A., Ramos, J., Mateus, P.: Linear algebra techniques for deciding the correctness of probabilistic programs with bounded resources. Tech. rep., SQIG - IT and IST - TU Lisbon, 1049-001 Lisboa, Portugal (2008), short paper presented at LPAR 2008, Doha, Qatar, November 22-27"},{"key":"5_CR26","unstructured":"Sokolova, A.: Coalgebraic Analysis of Probabilistic Systems. Ph.D. dissertation, Tech. Univ. Eindhoven, Eindhoven, The Netherlands (2005)"},{"key":"5_CR27","unstructured":"SQIG-Group: LAP: Linear algebra of bounded resources programs, iT & Tech. Univ. Lisbon (2011), \n                      http:\/\/sqig.math.ist.utl.pt\/work\/LAP"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Tr\u010dka, N.: Strong, weak and branching bisimulation for transition systems and Markov reward chains: A unifying matrix approach. In: [2], pp. 55\u201365","DOI":"10.4204\/EPTCS.13.5"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Automata"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31606-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,12]],"date-time":"2023-02-12T00:05:36Z","timestamp":1676160336000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-31606-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642316050","9783642316067"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31606-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}