{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,22]],"date-time":"2025-12-22T00:03:59Z","timestamp":1766361839002,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540378730"},{"type":"electronic","value":"9783540378747"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11828563_8","type":"book-chapter","created":{"date-parts":[[2006,10,3]],"date-time":"2006-10-03T10:43:15Z","timestamp":1159872195000},"page":"120-134","source":"Crossref","is-referenced-by-count":18,"title":["Demonic Algebra with Domain"],"prefix":"10.1007","author":[{"given":"Jean-Lou","family":"De Carufel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jules","family":"Desharnais","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1017\/S096012950000030X","volume":"3","author":"R.C. Backhouse","year":"1993","unstructured":"Backhouse, R.C., van der Woude, J.: Demonic operators and monotype factors. Mathematical Structures in Computer Science\u00a03, 417\u2013433 (1993)","journal-title":"Mathematical Structures in Computer Science"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0304-3975(86)90172-6","volume":"43","author":"R. Berghammer","year":"1986","unstructured":"Berghammer, R., Zierer, H.: Relational algebraic semantics of deterministic and nondeterministic programs. Theoretical Computer Science\u00a043, 123\u2013147 (1986)","journal-title":"Theoretical Computer Science"},{"key":"8_CR3","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":"8_CR4","volume-title":"Regular Algebra and Finite Machines","author":"J. Conway","year":"1971","unstructured":"Conway, J.: Regular Algebra and Finite Machines. Chapman and Hall, London (1971)"},{"doi-asserted-by":"crossref","unstructured":"De Carufel, J.L., Desharnais, J.: Demonic algebra with domain. Research report DIUL-RR-0601, D\u00e9partement d\u2019informatique et de g\u00e9nie logiciel, Universit\u00e9 Laval, Canada (2006), http:\/\/www.ift.ulaval.ca\/~Desharnais\/Recherche\/RR\/DIUL-RR-0601.pdf","key":"8_CR5","DOI":"10.1007\/11828563_8"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(94)00271-J","volume":"149","author":"J. Desharnais","year":"1995","unstructured":"Desharnais, J., Belkhiter, N., Sghaier, S., Tchier, F., Jaoua, A., Mili, A., Zaguia, N.: Embedding a demonic semilattice in a relation algebra. Theoretical Computer Science\u00a0149, 333\u2013360 (1995)","journal-title":"Theoretical Computer Science"},{"key":"8_CR7","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/978-3-7091-6510-2_11","volume-title":"Relational Methods in Computer Science","author":"J. Desharnais","year":"1997","unstructured":"Desharnais, J., Mili, A., Nguyen, T.: Refinement and demonic semantics. In: Brink, C., Kahl, W., Schmidt, G. (eds.) Relational Methods in Computer Science, pp. 166\u2013183. Springer, Heidelberg (1997)"},{"unstructured":"Desharnais, J., M\u00f6ller, B., Struth, G.: Kleene algebra with domain. Technical Report 2003-7, Institut f\u00fcr Informatik, Augsburg, Germany (2003)","key":"8_CR8"},{"key":"8_CR9","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. JoRMiCS \u2014 Journal on Relational Methods in Computer Science\u00a01, 93\u2013131 (2004)","journal-title":"JoRMiCS \u2014 Journal on Relational Methods in Computer Science"},{"doi-asserted-by":"crossref","unstructured":"Desharnais, J., M\u00f6ller, B., Struth, G.: Kleene algebra with domain. ACM Transactions on Computational Logic (2006) (to appear)","key":"8_CR10","DOI":"10.1145\/1183278.1183285"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/3-540-45499-3_26","volume-title":"Algebraic Methodology and Software Technology","author":"J. Desharnais","year":"2000","unstructured":"Desharnais, J., M\u00f6ller, B., Tchier, F.: Kleene under a demonic star. In: Rus, T. (ed.) AMAST 2000. LNCS, vol.\u00a01816, pp. 355\u2013370. Springer, Heidelberg (2000)"},{"key":"8_CR12","first-page":"127","volume":"66","author":"J. Desharnais","year":"2006","unstructured":"Desharnais, J., M\u00f6ller, B., Tchier, F.: Kleene under a modal demonic star. Journal of Logic and Algebraic Programming, Special issue on Relation Algebra and Kleene Algebra\u00a066, 127\u2013160 (2006)","journal-title":"Journal of Logic and Algebraic Programming, Special issue on Relation Algebra and Kleene Algebra"},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/27651.27653","volume":"30","author":"C.A.R. Hoare","year":"1987","unstructured":"Hoare, C.A.R., Hayes, I.J., Jifeng, H., Morgan, C.C., Roscoe, A.W., Sanders, J.W., Sorensen, I.H., Spivey, J.M., Sufrin, B.A.: Laws of programming. Communications of the ACM\u00a030, 672\u2013686 (1987)","journal-title":"Communications of the ACM"},{"key":"8_CR14","series-title":"International Series in Computer Science","volume-title":"Unifying Theories of Programming","author":"C.A.R. Hoare","year":"1998","unstructured":"Hoare, C.A.R., Jifeng, H.: Unifying Theories of Programming. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1998)"},{"unstructured":"H\u00f6fner, P., M\u00f6ller, B., Solin, K.: Omega algebra, demonic refinement algebra and commands. These proceedings","key":"8_CR15"},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/S0020-0255(01)00165-7","volume":"139","author":"W. Kahl","year":"2001","unstructured":"Kahl, W.: Parallel composition and decomposition of specifications. Information Sciences\u00a0139, 197\u2013220 (2001)","journal-title":"Information Sciences"},{"key":"8_CR17","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":"8_CR18","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1145\/256167.256195","volume":"19","author":"D. Kozen","year":"1997","unstructured":"Kozen, D.: Kleene algebra with tests. ACM Transactions on Programming Languages and Systems\u00a019, 427\u2013443 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(95)00082-8","volume":"160","author":"R. Maddux","year":"1996","unstructured":"Maddux, R.: Relation-algebraic semantics. Theoretical Computer Science\u00a0160, 1\u201385 (1996)","journal-title":"Theoretical Computer Science"},{"key":"8_CR20","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/S0049-237X(08)72018-4","volume-title":"Computer Programming and Formal Systems, North-Holland, Amsterdam","author":"J. McCarthy","year":"1963","unstructured":"McCarthy, J.: A basis for a mathematical theory of computation. In: Braffort, P., Hirschberg, D. (eds.) Computer Programming and Formal Systems, North-Holland, Amsterdam, pp. 33\u201370. North-Holland, Amsterdam (1963), http:\/\/www-formal.stanford.edu\/jmc\/basis\/basis.html"},{"key":"8_CR21","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.\u00a03125, pp. 252\u2013273. Springer, Heidelberg (2004)"},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11783596_23","volume-title":"Mathematics of Program Construction","author":"K. Solin","year":"2006","unstructured":"Solin, K., von Wright, J.: Refinement algebra with operators for enabledness and termination. In: Uustalu, T. (ed.) MPC 2006. LNCS, vol.\u00a04014, Springer, Heidelberg (2006)"},{"doi-asserted-by":"crossref","unstructured":"Tchier, F., Desharnais, J.: Applying a generalisation of a theorem of Mills to generalised looping structures. In: Colloquium on Science and Engineering for Software Development, organised in the memory of Dr. Harlan D. Mills, and affiliated to the 21st International Conference on Software Engineering, Los Angeles, pp. 31\u201338 (1999)","key":"8_CR23","DOI":"10.1109\/SESD.1999.781109"},{"key":"8_CR24","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.scico.2003.09.002","volume":"51","author":"J. Wright von","year":"2004","unstructured":"von Wright, J.: Towards a refinement algebra. Science of Computer Programming\u00a051, 23\u201345 (2004)","journal-title":"Science of Computer Programming"}],"container-title":["Lecture Notes in Computer Science","Relations and Kleene Algebra in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11828563_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T02:59:15Z","timestamp":1736564355000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11828563_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540378730","9783540378747"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11828563_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}