{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T16:02:06Z","timestamp":1772294526528,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540675303","type":"print"},{"value":"9783540454991","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45499-3_26","type":"book-chapter","created":{"date-parts":[[2007,8,1]],"date-time":"2007-08-01T01:55:04Z","timestamp":1185933304000},"page":"355-370","source":"Crossref","is-referenced-by-count":8,"title":["Kleene under a Demonic Star"],"prefix":"10.1007","author":[{"given":"Jules","family":"Desharnais","sequence":"first","affiliation":[]},{"given":"Bernhard","family":"M\u00f6ller","sequence":"additional","affiliation":[]},{"given":"Fairouz","family":"Tchier","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,5,19]]},"reference":[{"key":"26_CR1","unstructured":"C. J. Aarts. Galois connections presented calculationally. Eindhoven University of Technology, Dept. of Mathematics and Computer Science, July 1992."},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"R. Back and J. von Wright. Refinement Calculus \u2014 A Systematic Introduction. Springer, 1998.","DOI":"10.1007\/978-1-4612-1674-2"},{"key":"26_CR3","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/0020-0190(94)00212-H","volume":"53","author":"R. C. Backhouse","year":"1995","unstructured":"R. C. Backhouse et al. Fixed point calculus. Inform. Proc. Letters, 53:131\u2013136, 1995.","journal-title":"Inform. Proc. Letters"},{"issue":"4","key":"26_CR4","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1017\/S096012950000030X","volume":"3","author":"R. C. Backhouse","year":"1993","unstructured":"R. C. Backhouse and J. van der Woude. Demonic operators and monotype factors. Mathematical Structures in Comput. Sci., 3(4):417\u2013433, 1993.","journal-title":"Mathematical Structures in Comput. Sci."},{"key":"26_CR5","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0304-3975(86)90172-6","volume":"43","author":"R. Berghammer","year":"1986","unstructured":"R. Berghammer and H. Zierer. Relational algebraic semantics of deterministic and nondeterministic programs. Theoret. Comput. Sci., 43:123\u2013147, 1986.","journal-title":"Theoret. Comput. Sci."},{"key":"26_CR6","doi-asserted-by":"publisher","first-page":"544","DOI":"10.1007\/BF01211474","volume":"4","author":"N. Boudriga","year":"1992","unstructured":"N. Boudriga, F. Elloumi, and A. Mili, On the lattice of specifications: Applications to a specification methodology. Formal Aspects of Computing, 4:544\u2013571, 1992.","journal-title":"Formal Aspects of Computing"},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"C. Brink, W. Kahl, and G. Schmidt (eds). Relational Methods in Computer Science. Springer, 1997.","DOI":"10.1007\/978-3-7091-6510-2"},{"key":"26_CR8","volume-title":"Regular Algebra and Finite Machines","author":"J. H. Conway","year":"1971","unstructured":"J. H. Conway. Regular Algebra and Finite Machines. Chapman and Hall, London, 1971."},{"issue":"2","key":"26_CR9","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(94)00271-J","volume":"149","author":"J. Desharnais","year":"1995","unstructured":"J. Desharnais, N. Belkhiter, S. B. M. Sghaier, F. Tchier, A. Jaoua, A. Mili, and N. Zaguia. Embedding a demonic semilattice in a relation algebra. Theoret. Comput. Sci., 149(2):333\u2013360, 1995.","journal-title":"Theoret. Comput. Sci."},{"key":"26_CR10","first-page":"55","volume-title":"Proc. 5th Seminar on Relational Methods in Computer Science (RelMiCS\u20195)","author":"J. Desharnais","year":"2000","unstructured":"J. Desharnais and B. M\u00f6ller. Characterizing functions in Kleene algebras. In J. Desharnais (ed.), Proc. 5th Seminar on Relational Methods in Computer Science (RelMiCS\u20195). Universit\u00e9 Laval, Canada, pages 55\u201364, 2000."},{"key":"26_CR11","unstructured":"D. Harel, D. Kozen, and J. Tiuryn. Dynamic Logic. Forthcoming book."},{"key":"26_CR12","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1145\/69610.357988","volume":"27","author":"E. Hehner","year":"1984","unstructured":"E. Hehner. Predicative programming, Parts I and II. CACM, 27:134\u2013151, 1984.","journal-title":"CACM"},{"issue":"3","key":"26_CR13","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1145\/256167.256195","volume":"19","author":"D. Kozen","year":"1997","unstructured":"D. Kozen. Kleene algebra with tests. ACM TOPLAS 19(3):427\u2013443, 1997.","journal-title":"ACM TOPLAS"},{"issue":"3","key":"26_CR14","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/BF00265990","volume":"24","author":"A. Mili","year":"1987","unstructured":"A. Mili, J. Desharnais, and F. Mili. Relational heuristics for the design of deterministic programs. Acta Inform., 24(3):239\u2013276, 1987.","journal-title":"Acta Inform."},{"issue":"1","key":"26_CR15","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/360569.360659","volume":"18","author":"H. D. Mills","year":"1975","unstructured":"H. D. Mills. The new math of computer programming. CACM, 18(1):43\u201348, 1975.","journal-title":"CACM"},{"key":"26_CR16","doi-asserted-by":"crossref","unstructured":"H. D. Mills, V. R. Basili, J. D. Gannon and R. G. Hamlet. Principles of Computer Programming. A Mathematical Approach. Allyn and Bacon, Inc., 1987.","DOI":"10.1145\/322917.322972"},{"key":"26_CR17","unstructured":"B. M\u00f6ller. Typed Kleene algebras. Universit\u00e4t Augsburg, Institut f\u00fcr Informatik, Report, 1999"},{"key":"26_CR18","doi-asserted-by":"crossref","unstructured":"T. S. Norvell. Predicative semantics of loops. In R. S. Bird and L. Meertens (eds), Algorithmic Languages and Calculi, Chapman & Hall, 1997, pages 415\u2013437.","DOI":"10.1007\/978-0-387-35264-0_16"},{"key":"26_CR19","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":"G. Schmidt and T. Str\u00f6hlein. Relations and Graphs. EATCS Monographs in Computer Science, Springer-Verlag, Berlin, 1993."},{"key":"26_CR20","doi-asserted-by":"crossref","unstructured":"E. Sekerinski. A calculus for predicative programming. Second International Conf. on the Mathematics of Program Construction. R. S. Bird, C. C. Morgan and J. C. P. Woodcock (eds), Oxford, June 1992, Lect. Notes in Comput. Sci., Vol. 669, Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56625-2_20"},{"key":"26_CR21","volume-title":"S\u00e9mantiques relationelles demoniaques et v\u00e9rification de boucles non-d\u00e9terministes","author":"F. Tchier","year":"1996","unstructured":"F. Tchier. S\u00e9mantiques relationelles demoniaques et v\u00e9rification de boucles non-d\u00e9terministes. Ph.D. Thesis, D\u00e9partement de Math\u00e9matiques, Universit\u00e9 Laval, Canada, 1996."},{"key":"26_CR22","doi-asserted-by":"crossref","unstructured":"F. Tchier and J. Desharnais. Applying a generalization of a theorem of Mills to generalized looping structures. Colloquium Science and Engineering for Software Development, organized in the memory of Dr. Harlan D. Mills, and affiliated to the 21st International Conference on Software Engineering, Los Angeles, 18 May 1999, pages 31\u201338.","DOI":"10.1109\/SESD.1999.781109"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45499-3_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T16:28:19Z","timestamp":1556728099000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45499-3_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540675303","9783540454991"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-45499-3_26","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2000]]}}}