{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T04:16:05Z","timestamp":1750997765393,"version":"3.41.0"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319708478"},{"type":"electronic","value":"9783319708485"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-70848-5_17","type":"book-chapter","created":{"date-parts":[[2017,11,10]],"date-time":"2017-11-10T15:43:26Z","timestamp":1510328606000},"page":"271-286","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["On Kleene Algebras for Weighted Computation"],"prefix":"10.1007","author":[{"given":"Leandro","family":"Gomes","sequence":"first","affiliation":[]},{"given":"Alexandre","family":"Madeira","sequence":"additional","affiliation":[]},{"given":"Lu\u00eds S.","family":"Barbosa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,11]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s000120050156","volume":"43","author":"WJ Blok","year":"2000","unstructured":"Blok, W.J., Ferreirim, I.: On the structure of hoops. Algebra Univers. 43, 233\u2013257 (2000)","journal-title":"Algebra Univers."},{"key":"17_CR2","volume-title":"Regular Algebra and Finite Machines","author":"J Conway","year":"1971","unstructured":"Conway, J.: Regular Algebra and Finite Machines. Dover Publications, New York (1971)"},{"issue":"3","key":"17_CR3","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1142\/S012905410200114X","volume":"13","author":"J Hartog den","year":"2002","unstructured":"den Hartog, J., de Vink, E.P.: Verifying probabilistic programs using a Hoare like logic. Int. J. Found. Comput. Sci. 13(3), 315\u2013340 (2002)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"17_CR4","unstructured":"Guilherme, R.: A coalgebraic approach to fuzzy automata. Master\u2019s thesis, Faculdade de Ci\u00eancias e Tecnologia - Universidade Nova de Lisboa, Lisboa (2016)"},{"issue":"10","key":"17_CR5","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576\u2013580 (1969)","journal-title":"Commun. ACM"},{"key":"17_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4400-4","volume-title":"The Design and Analysis of Algorithms","author":"D Kozen","year":"1992","unstructured":"Kozen, D.: The Design and Analysis of Algorithms. Springer-Verlag, New York (1992)"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Kozen, D.: On action algebras. In Logic and the Flow of Information, Amsterdam (1993)","DOI":"10.7551\/mitpress\/4286.003.0007"},{"key":"17_CR8","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1006\/inco.1994.1037","volume":"110","author":"D Kozen","year":"1994","unstructured":"Kozen, D.: A completeness theorem for Kleene algebras and the algebra of regular events. Inf. Comput. 110, 366\u2013390 (1994)","journal-title":"Inf. Comput."},{"issue":"3","key":"17_CR9","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1145\/256167.256195","volume":"19","author":"D Kozen","year":"1997","unstructured":"Kozen, D.: Kleene algebra with tests. ACM Trans. Program. Lang. Syst. 19(3), 427\u2013443 (1997)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"212","key":"17_CR10","first-page":"1","volume":"1","author":"D Kozen","year":"2000","unstructured":"Kozen, D.: On Hoare logic and Kleene algebra with tests. ACM Trans. Comput. Logic 1(212), 1\u201314 (2000)","journal-title":"ACM Trans. Comput. Logic"},{"key":"17_CR11","first-page":"1","volume":"1","author":"A Madeira","year":"2016","unstructured":"Madeira, A., Neves, R., Martins, M.A.: An exercise on the generation of many-valued dynamic logics. J. Logical Algebraic Methods Program. 1, 1\u201329 (2016)","journal-title":"J. Logical Algebraic Methods Program."},{"key":"17_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/11828563_20","volume-title":"Relations and Kleene Algebra in Computer Science","author":"AK McIver","year":"2006","unstructured":"McIver, A.K., Cohen, E., Morgan, C.C.: Using probabilistic Kleene algebra for protocol verification. In: Schmidt, R.A. (ed.) RelMiCS 2006. LNCS, vol. 4136, pp. 296\u2013310. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11828563_20"},{"key":"17_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-14509-4","volume-title":"Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics","author":"A Platzer","year":"2010","unstructured":"Platzer, A.: Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics. Springer, Heidelberg (2010)"},{"key":"17_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/BFb0018436","volume-title":"Logics in AI","author":"V Pratt","year":"1991","unstructured":"Pratt, V.: Action logic and pure induction. In: Eijck, J. (ed.) JELIA 1990. LNCS, vol. 478, pp. 97\u2013120. Springer, Heidelberg (1991). https:\/\/doi.org\/10.1007\/BFb0018436"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Qiao, R., Wu, J., Wang, Y., Gao, X.: Operational semantics of probabilistic Kleene algebra with tests. In: Proceedings of IEEE Symposium on Computers and Communications, pp. 706\u2013713 (2008)","DOI":"10.1109\/ISCC.2008.4625616"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-70848-5_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T23:54:40Z","timestamp":1750982080000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-70848-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319708478","9783319708485"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-70848-5_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}