{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,3]],"date-time":"2025-08-03T04:23:00Z","timestamp":1754194980133},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319574172"},{"type":"electronic","value":"9783319574189"}],"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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-57418-9_6","type":"book-chapter","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T07:11:16Z","timestamp":1493017876000},"page":"93-108","source":"Crossref","is-referenced-by-count":5,"title":["Non-associative Kleene Algebra and Temporal Logics"],"prefix":"10.1007","author":[{"given":"Jules","family":"Desharnais","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"M\u00f6ller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,25]]},"reference":[{"issue":"3","key":"6_CR1","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1142\/S0129054192000164","volume":"3","author":"S Bloom","year":"1992","unstructured":"Bloom, S., \u00c9sik, Z.: Iteration algebras. Int. J. Found. Comput. Sci. 3(3), 245\u2013302 (1992)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"6_CR2","volume-title":"Regular Algebra and Finite Machines","author":"J Conway","year":"1971","unstructured":"Conway, J.: Regular Algebra and Finite Machines. Chapman & Hall, Boca Raton (1971)"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/S0020-0255(01)00168-2","volume":"139","author":"J Desharnais","year":"2001","unstructured":"Desharnais, J., M\u00f6ller, B.: Characterizing determinacy in Kleene algebras. Inf. Sci. 139, 253\u2013273 (2001)","journal-title":"Inf. Sci."},{"unstructured":"Desharnais, J., M\u00f6ller, B.: Non-associative Kleene algebra and temporal logics. \nhttps:\/\/www.informatik.uni-augsburg.de\/de\/lehrstuehle\/dbis\/pmi\/publications\/all_pmi_tech-reports\/tr-RAMICS16\/","key":"6_CR4"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"798","DOI":"10.1145\/1183278.1183285","volume":"7","author":"J Desharnais","year":"2006","unstructured":"Desharnais, J., M\u00f6ller, B., Struth, G.: Kleene algebra with domain. ACM Trans. Comput. Logic 7, 798\u2013833 (2006)","journal-title":"ACM Trans. Comput. Logic"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0167-6423(99)00021-0","volume":"37","author":"RM Dijkstra","year":"2000","unstructured":"Dijkstra, R.M.: Computation calculus bridging a formalisation gap. Sci. Comput. Program. 37, 3\u201336 (2000)","journal-title":"Sci. Comput. Program."},{"key":"6_CR7","first-page":"995","volume-title":"Handbook of Theoretical Computer Science. Vol. B: Formal Models and Semantics","author":"EA Emerson","year":"1991","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Vol. B: Formal Models and Semantics, pp. 995\u20131072. Elsevier, Amsterdam (1991)"},{"key":"6_CR8","first-page":"3","volume-title":"Automata Studies","author":"S Kleene","year":"1956","unstructured":"Kleene, S.: Representation of events in nerve nets and finite automata. In: Shannon, C., McCarthy, J. (eds.) Automata Studies, pp. 3\u201341. Princeton University Press, Princeton (1956)"},{"key":"6_CR9","doi-asserted-by":"publisher","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."},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1145\/256167.256195","volume":"19","author":"D Kozen","year":"1997","unstructured":"Kozen, D.: Kleene algebras with tests. ACM Trans. Program. Lang. Syst. 19, 427\u2013443 (1997)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.scico.2003.09.004","volume":"51","author":"D Kozen","year":"2004","unstructured":"Kozen, D.: Some results in dynamic model theory. Sci. Comput. Program. 51, 3\u201322 (2004)","journal-title":"Sci. Comput. Program."},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/978-3-540-27764-4_14","volume-title":"Mathematics of Program Construction","author":"B M\u00f6ller","year":"2004","unstructured":"M\u00f6ller, B.: Lazy Kleene algebra. In: Kozen, D. (ed.) MPC 2004. LNCS, vol. 3125, pp. 252\u2013273. Springer, Heidelberg (2004). doi:\n10.1007\/978-3-540-27764-4_14\n\n. Revised version in [13]"},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/j.scico.2006.01.010","volume":"65","author":"B M\u00f6ller","year":"2007","unstructured":"M\u00f6ller, B.: Kleene getting lazy. Sci. Comput. Program. 65, 195\u2013214 (2007)","journal-title":"Sci. Comput. Program."},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-19797-5_1","volume-title":"Mathematics of Program Construction","author":"B M\u00f6ller","year":"2015","unstructured":"M\u00f6ller, B., Hoare, T.: Exploring an interface model for CKA. In: Hinze, R., Voigtl\u00e4nder, J. (eds.) MPC 2015. LNCS, vol. 9129, pp. 1\u201329. Springer, Cham (2015). doi:\n10.1007\/978-3-319-19797-5_1"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/11784180_21","volume-title":"Algebraic Methodology and Software Technology","author":"B M\u00f6ller","year":"2006","unstructured":"M\u00f6ller, B., H\u00f6fner, P., Struth, G.: Quantales and temporal logics. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol. 4019, pp. 263\u2013277. Springer, Heidelberg (2006). doi:\n10.1007\/11784180_21"},{"unstructured":"Rosenthal, K.: Quantales and their applications. Pitman Research Notes in Math. No. 234 Longman Scientific and Technical (1990)","key":"6_CR16"},{"key":"6_CR17","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-77968-8","volume-title":"Relations and Graphs: Discrete Mathematics for Computer Scientists","author":"G Schmidt","year":"1993","unstructured":"Schmidt, G., Str\u00f6hlein, T.: Relations and Graphs: Discrete Mathematics for Computer Scientists. EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (1993)"}],"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-57418-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T07:13:00Z","timestamp":1493017980000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57418-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319574172","9783319574189"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57418-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}