{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T00:50:32Z","timestamp":1775868632222,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540221456","type":"print"},{"value":"9783540247715","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24771-5_2","type":"book-chapter","created":{"date-parts":[[2011,1,8]],"date-time":"2011-01-08T17:41:39Z","timestamp":1294508499000},"page":"8-20","source":"Crossref","is-referenced-by-count":3,"title":["Kleene Algebra with Relations"],"prefix":"10.1007","author":[{"given":"Jules","family":"Desharnais","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Aarts, C.J.: Galois connections presented calculationally. Technical report, Eindhoven University of Technology, Department of Mathematics and Computer Science (1992)"},{"key":"2_CR2","volume-title":"Relational Methods in Computer Science","year":"1997","unstructured":"Brink, C., Kahl, W., Schmidt, G. (eds.): Relational Methods in Computer Science. Springer, Heidelberg (1997)"},{"key":"2_CR3","unstructured":"Cardoso, R.: Untersuchung paralleler Programme mit relationenalgebraischen Methoden. Diplomarbeit, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen (1982)"},{"key":"2_CR4","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":"2_CR5","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/S0020-0255(99)00020-1","volume":"119","author":"J. Desharnais","year":"1999","unstructured":"Desharnais, J.: Monomorphic characterization of n-ary direct products. Information Sciences \u2013 An International Journal\u00a0119, 275\u2013288 (1999)","journal-title":"Information Sciences \u2013 An International Journal"},{"key":"2_CR6","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. Information Sciences\u00a0139, 253\u2013273 (2001)","journal-title":"Information Sciences"},{"key":"2_CR7","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511663079","volume-title":"Data Refinement: Model-Oriented Proof Methods and their Comparison","author":"W.-P. Roever de","year":"1998","unstructured":"de Roever, W.-P., Engelhardt, K.: Data Refinement: Model-Oriented Proof Methods and their Comparison. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (1998)"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0020-0190(87)90224-9","volume":"25","author":"C.A.R. Hoare","year":"1987","unstructured":"Hoare, C.A.R., Jifeng, H., Sanders, J.W.: Prespecification in data refinement. Information Processing Letters\u00a025, 71\u201376 (1987)","journal-title":"Information Processing Letters"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1093\/jigpal\/5.4.565","volume":"5","author":"P. Jipsen","year":"1997","unstructured":"Jipsen, P., Maddux, R.: Nonrepresentable sequential algebras. Logic Journal of the IGPL\u00a05, 565\u2013574 (1997)","journal-title":"Logic Journal of the IGPL"},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0020-0190(94)00205-D","volume":"53","author":"B. Karger von","year":"1995","unstructured":"von Karger, B., Hoare, C.A.R.: Sequential calculus. Information Processing Letters\u00a053, 123\u2013130 (1995)","journal-title":"Information Processing Letters"},{"key":"2_CR11","unstructured":"von Karger, B.: Sequential calculus. Technical Report ProCos II: [Kiel BvK 15\/11], Christian-Albrechts Universit\u00e4t zu Kiel (1995)"},{"key":"2_CR12","unstructured":"Kempf, P., Winter, M.: Relational unsharpness and processes. In: Berghammer, R., M\u00f6ller, B. (eds.) Participant\u2019s Proceedings of the 7th International Seminar on Relational Methods in Computer Science, in combination with 2nd InternationalWorkshop on Applications of Kleene Algebra, Bad Malente (near Kiel), Germany, Institut f\u00fcr Informatik und Praktische Mathematik, Christian-Albrechts- Universit\u00e4t zu Kiel, pp. 270\u2013276 (2003)"},{"key":"2_CR13","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, 366\u2013390 (1994)","journal-title":"Information and Computation"},{"key":"2_CR14","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 Transactions on Programming Languages and Systems\u00a019, 427\u2013443 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"2_CR15","unstructured":"Kozen, D.: Typed Kleene algebra. Technical Report 98-1669, Computer Science Department, Cornell University (1998)"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/3-540-44693-1_3","volume-title":"STACS 2001","author":"D. Kozen","year":"2001","unstructured":"Kozen, D.: Myhill-Nerode relations on automatic systems and the completeness of Kleene algebra. In: Ferreira, A., Reichel, H. (eds.) STACS 2001. LNCS, vol.\u00a02010, pp. 27\u201338. Springer, Heidelberg (2001)"},{"key":"2_CR17","unstructured":"Maddux, R.D.: On the derivation of identities involving projection functions. Technical report, Department of Mathematics, Iowa State University (1993)"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"key":"2_CR19","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall International Series in Computer Science (1989)"},{"key":"2_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/3-540-57499-9_19","volume-title":"Formal Program Development","author":"B. M\u00f6ller","year":"1993","unstructured":"M\u00f6ller, B.: Derivation of graph and pointer algorithms. In: M\u00f6ller, B., Schuman, S., Partsch, H. (eds.) Formal Program Development. LNCS, vol.\u00a0755, pp. 123\u2013160. Springer, Heidelberg (1993)"},{"key":"2_CR21","unstructured":"Ng, K.C.: Relation algebras with transitive closure. PhD thesis. University of California, Berkeley (1984)"},{"key":"2_CR22","unstructured":"Ng, K.C., Tarski, A.: Relation algebras with transitive closure. Abstract 742-02- 09. Notices of the American Mathematical Society 24 (1977)"},{"key":"2_CR23","series-title":"EATCS Monographs in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-77968-8","volume-title":"Relations and Graphs","author":"G. Schmidt","year":"1993","unstructured":"Schmidt, G., Str\u00f6hlein, T.: Relations and Graphs. EATCS Monographs in Computer Science. Springer, Berlin (1993)"},{"key":"2_CR24","volume-title":"Relationa Methods in Computer Science","author":"G. Schmidt","year":"1997","unstructured":"Schmidt, G., Hattensperger, C., Winter, M.: Heterogeneous relation algebra. In: Brink, C., Kahl, W., Schmidt, G. (eds.) Relationa Methods in Computer Science, Springer, Heidelberg (1997)"},{"key":"2_CR25","doi-asserted-by":"publisher","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"A. Tarski","year":"1941","unstructured":"Tarski, A.: On the calculus of relations. Journal of Symbolic Logic\u00a06, 73\u201389 (1941)","journal-title":"Journal of Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Relational and Kleene-Algebraic Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24771-5_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:09:12Z","timestamp":1620011352000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24771-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221456","9783540247715"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24771-5_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}