{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:38:21Z","timestamp":1725507501153},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540789123"},{"type":"electronic","value":"9783540789130"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-78913-0_6","type":"book-chapter","created":{"date-parts":[[2008,4,11]],"date-time":"2008-04-11T08:13:06Z","timestamp":1207901586000},"page":"54-68","source":"Crossref","is-referenced-by-count":0,"title":["Latest News about 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":"6_CR1","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":"6_CR2","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)"},{"key":"6_CR3","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 (June 2006), http:\/\/www.ift.ulaval.ca\/~Desharnais\/Recherche\/RR\/DIUL-RR-0601.pdf","DOI":"10.1007\/11828563_8"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/11828563_8","volume-title":"Relations and Kleene Algebra in Computer Science","author":"J.L. De Carufel","year":"2006","unstructured":"De Carufel, J.L., Desharnais, J.: Demonic algebra with domain. In: Schmidt, R.A. (ed.) RelMiCS\/AKA 2006. LNCS, vol.\u00a04136, pp. 120\u2013134. Springer, Heidelberg (2006)"},{"key":"6_CR5","unstructured":"De Carufel, J.L., Desharnais, J.: On the structure of demonic refinement algebras with enabledness and termination. These proceedings"},{"key":"6_CR6","first-page":"93","volume":"1","author":"J. Desharnais","year":"2004","unstructured":"Desharnais, J., M\u00f6ller, B., Struth, G.: Modal Kleene algebra and applications \u2014A survey\u2014. JoRMiCS \u2014 Journal on Relational Methods in Computer Science\u00a01, 93\u2013131 (2004)","journal-title":"JoRMiCS \u2014 Journal on Relational Methods in Computer Science"},{"issue":"4","key":"6_CR7","doi-asserted-by":"crossref","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 Transactions on Computational Logic (TOCL)\u00a07(4), 798\u2013833 (2006)","journal-title":"ACM Transactions on Computational Logic (TOCL)"},{"key":"6_CR8","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)"},{"issue":"2","key":"6_CR9","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(2), 127\u2013160 (2006)","journal-title":"Journal of Logic and Algebraic Programming, Special issue on Relation Algebra and Kleene Algebra"},{"issue":"8","key":"6_CR10","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(8), 672\u2013686 (1987)","journal-title":"Communications of the ACM"},{"key":"6_CR11","volume-title":"International Series in Computer Science","author":"C.A.R. Hoare","year":"1998","unstructured":"Hoare, C.A.R., He, J.: Unifying Theories of Programming. In: International Series in Computer Science, Prentice-Hall, Englewood Cliffs (1998)"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/11828563_15","volume-title":"Relations and Kleene Algebra in Computer Science","author":"P. H\u00f6fner","year":"2006","unstructured":"H\u00f6fner, P., M\u00f6ller, B., Solin, K.: Omega algebra, demonic refinement algebra and commands. In: Schmidt, R.A. (ed.) RelMiCS\/AKA 2006. LNCS, vol.\u00a04136, pp. 222\u2013234. Springer, Heidelberg (2006)"},{"key":"6_CR13","unstructured":"Hollenberg, M.: Equational axioms of test algebra (1996)"},{"issue":"2","key":"6_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"},{"issue":"3","key":"6_CR15","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(3), 427\u2013443 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-63172-0_43","volume-title":"Computer Science Logic","author":"D. Kozen","year":"1997","unstructured":"Kozen, D., Smith, F.: Kleene algebra with tests: Completeness and decidability. In: van Dalen, D., Bezem, M. (eds.) CSL 1996. LNCS, vol.\u00a01258, pp. 244\u2013259. Springer, Heidelberg (1997)"},{"key":"6_CR17","unstructured":"Mace4. http:\/\/www.cs.unm.edu\/~mccune\/mace4\/"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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., Shankland, C. (eds.) MPC 2004. LNCS, vol.\u00a03125, pp. 252\u2013273. Springer, Heidelberg (2004)"},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"397","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, pp. 397\u2013415. Springer, Heidelberg (2006)"},{"key":"6_CR20","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\/978-3-540-78913-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,9]],"date-time":"2019-05-09T23:44:56Z","timestamp":1557445496000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78913-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540789123","9783540789130"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78913-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}