{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:48:18Z","timestamp":1762458498001,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540356332"},{"type":"electronic","value":"9783540356363"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11784180_21","type":"book-chapter","created":{"date-parts":[[2006,9,26]],"date-time":"2006-09-26T14:12:21Z","timestamp":1159279941000},"page":"263-277","source":"Crossref","is-referenced-by-count":13,"title":["Quantales and Temporal Logics"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"M\u00f6ller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"H\u00f6fner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georg","family":"Struth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/0020-0190(94)00212-H","volume":"53","author":"R.C. Backhouse","year":"1995","unstructured":"Backhouse, R.C., et al.: Fixed point calculus. Inform. Proc. Letters\u00a053, 131\u2013136 (1995)","journal-title":"Inform. Proc. Letters"},{"key":"21_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/10722010_4","volume-title":"Mathematics of Program Construction","author":"E. Cohen","year":"2000","unstructured":"Cohen, E.: Separation and reduction. In: Backhouse, R., Oliveira, J.N. (eds.) MPC 2000. LNCS, vol.\u00a01837, pp. 45\u201359. Springer, Heidelberg (2000)"},{"key":"21_CR3","volume-title":"Regular algebra and finite machines","author":"J.H. Conway","year":"1971","unstructured":"Conway, J.H.: Regular algebra and finite machines. Chapman and Hall, London (1971)"},{"key":"21_CR4","doi-asserted-by":"crossref","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 algebra. Special Issue on Relational Methods in Computer Science, Information Sciences \u2014 An International Journal\u00a0139, 253\u2013273 (2001)","journal-title":"Special Issue on Relational Methods in Computer Science, Information Sciences \u2014 An International Journal"},{"key":"21_CR5","first-page":"93","volume":"1","author":"J. Desharnais","year":"2004","unstructured":"Desharnais, J., M\u00f6ller, B., Struth, G.: Modal Kleene algebra and applications \u2014 a survey. J. Relational Methods in Computer Science\u00a01, 93\u2013131 (2004)","journal-title":"J. Relational Methods in Computer Science"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Desharnais, J., M\u00f6ller, B., Struth, G.: Kleene algebra with domain. ACM Transactions on Computational Logic (to appear, 2006)","DOI":"10.1145\/1183278.1183285"},{"key":"21_CR7","series-title":"IFIP International Federation for Information Processing Series","doi-asserted-by":"publisher","first-page":"653","DOI":"10.1007\/1-4020-8141-3_49","volume-title":"Exploring new frontiers of theoretical informatics","author":"J. Desharnais","year":"2004","unstructured":"Desharnais, J., M\u00f6ller, B., Struth, G.: Termination in modal Kleene algebra. In: L\u00e9vy, J.-J., Mayr, E., Mitchell, J. (eds.) Exploring new frontiers of theoretical informatics. IFIP International Federation for Information Processing Series, vol.\u00a0155, pp. 653\u2013666. Kluwer, Dordrecht (2004)"},{"key":"21_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0167-6423(99)00021-0","volume":"37","author":"R.M. Dijkstra","year":"2000","unstructured":"Dijkstra, R.M.: Computation calculus bridging a formalisation gap. Science of Computer Programming\u00a037, 3\u201336 (2000)","journal-title":"Science of Computer Programming"},{"key":"21_CR9","series-title":"Formal models and semantics","first-page":"995","volume-title":"Handbook of theoretical computer science","author":"E.A. Emerson","year":"1991","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of theoretical computer science. Formal models and semantics, vol.\u00a0B, pp. 995\u20131072. Elsevier, Amsterdam (1991)"},{"issue":"2","key":"21_CR10","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/j.jlap.2005.04.005","volume":"66","author":"M.F. Fr\u00edas","year":"2006","unstructured":"Fr\u00edas, M.F., Lopez Pombo, C.: Interpretability of linear time temporal logic in fork algebra. Journal of Logic and Algebraic Programming\u00a066(2), 161\u2013184 (2006)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"21_CR11","unstructured":"Goranko, V.: Temporal logics of computations. In: Introductory course, 12th European summer School in Logic, Language and Information, Birmingham, August 6\u201318 (2000)"},{"key":"21_CR12","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D. Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"H\u00f6fner, P., M\u00f6ller, B., Solin, K.: Omega Algebra, demonic refinement algebra and commands. In: Proc. 9th RelMiCS\/4th AKA (to appear, 2006)","DOI":"10.1007\/11828563_15"},{"issue":"2","key":"21_CR14","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. Information and Computation\u00a0110(2), 366\u2013390 (1994)","journal-title":"Information and Computation"},{"key":"21_CR15","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 TOPLAS\u00a019, 427\u2013443 (1997)","journal-title":"ACM TOPLAS"},{"key":"21_CR16","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. Science of Computer Programming\u00a051, 3\u201322 (2004)","journal-title":"Science of Computer Programming"},{"key":"21_CR17","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.: Kleene getting lazy. In: Kozen, D. (ed.) MPC 2004. LNCS, vol.\u00a03125, pp. 252\u2013273. Springer, Heidelberg (2004)"},{"key":"21_CR18","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/j.tcs.2005.09.069","volume":"351","author":"B. M\u00f6ller","year":"2006","unstructured":"M\u00f6ller, B., Struth, G.: Algebras of Modal Operators and Partial Correctness. Theoretical Computer Science\u00a0351, 221\u2013239 (2006)","journal-title":"Theoretical Computer Science"},{"key":"21_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/11734673_16","volume-title":"Relational Methods in Computer Science","author":"B. M\u00f6ller","year":"2006","unstructured":"M\u00f6ller, B., Struth, G.: wp is wlp. In: MacCaull, W., Winter, M., D\u00fcntsch, I. (eds.) RelMiCS 2005. LNCS, vol.\u00a03929, pp. 200\u2013211. Springer, Heidelberg (2006)"},{"key":"21_CR20","unstructured":"Rosenthal, K.I.: Quantales and their applications. Pitman Research Notes in Mathematics Series, vol.\u00a0234. Longman Scientific&Technical (1990)"},{"key":"21_CR21","series-title":"EATCS Monographs on Theoretical Computer Science","volume-title":"Relations and Graphs \u2014 Discrete Mathematics for Computer Scientists","author":"G. Schmidt","year":"1993","unstructured":"Schmidt, G., Str\u00f6hlein, T.: Relations and Graphs \u2014 Discrete Mathematics for Computer Scientists. EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (1993)"},{"key":"21_CR22","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/978-3-642-59126-6_6","volume-title":"Handbook of formal languages","author":"L. Staiger","year":"1997","unstructured":"Staiger, L.: Omega languages. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of formal languages, vol.\u00a03, pp. 339\u2013387. Springer, Heidelberg (1997)"},{"key":"21_CR23","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1017\/S0960129598002540","volume":"8","author":"B. Karger von","year":"1998","unstructured":"von Karger, B.: Temporal algebra. Mathematical Structures in Computer Science\u00a08, 277\u2013320 (1998)","journal-title":"Mathematical Structures in Computer Science"},{"key":"21_CR24","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1093\/jigpal\/6.2.157","volume":"6","author":"B. Karger von","year":"1998","unstructured":"von Karger, B., Berghammer, R.: A relational model for temporal logic. Logic Journal of the IGPL\u00a06, 157\u2013173 (1998)","journal-title":"Logic Journal of the IGPL"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11784180_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T00:54:26Z","timestamp":1736556866000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11784180_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540356332","9783540356363"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11784180_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}