{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:38:30Z","timestamp":1725507510105},"publisher-location":"Berlin, Heidelberg","reference-count":24,"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_7","type":"book-chapter","created":{"date-parts":[[2008,4,11]],"date-time":"2008-04-11T08:13:06Z","timestamp":1207901586000},"page":"69-83","source":"Crossref","is-referenced-by-count":1,"title":["On the Structure of Demonic Refinement Algebras with Enabledness and Termination"],"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":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/3-540-47797-7_4","volume-title":"Algebraic and Coalgebraic Methods in the Mathematics of Program Construction","author":"R. Backhouse","year":"2002","unstructured":"Backhouse, R.: Galois connections and fixed point calculus. In: Backhouse, R., Crole, R.L., Gibbons, J. (eds.) Algebraic and Coalgebraic Methods in the Mathematics of Program Construction. LNCS, vol.\u00a02297, pp. 89\u2013150. Springer, Heidelberg (2002)"},{"issue":"2\u20133","key":"7_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(2\u20133), 123\u2013147 (1986)","journal-title":"Theoretical Computer Science"},{"key":"7_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":"7_CR4","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":"7_CR5","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":"7_CR6","unstructured":"De Carufel, J.L., Desharnais, J.: On the structure of demonic refinement algebras. Research report DIUL RR-0802, D\u00e9partement d\u2019informatique et de g\u00e9nie logiciel, Universit\u00e9 Laval, Qu\u00e9bec, Canada (January 2008), http:\/\/www.ift.ulaval.ca\/~Desharnais\/Recherche\/RR\/DIUL-RR-0802.pdf"},{"key":"7_CR7","unstructured":"De Carufel, J.L., Desharnais, J.: Latest news about demonic algebra with domain. These proceedings"},{"key":"7_CR8","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":"7_CR9","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":"7_CR10","unstructured":"Desharnais, J., M\u00f6ller, B., Struth, G.: Algebraic notions of termination. Research report 2006-23, Institut f\u00fcr Informatik, Universit\u00e4t Augsburg, Germany (October 2006)"},{"key":"7_CR11","first-page":"363","volume-title":"PROCOMET 1994: Proceedings of the IFIP TC2\/WG2.1\/WG2.2\/WG2.3 Working Conference on Programming Concepts","author":"H. Doornbos","year":"1994","unstructured":"Doornbos, H.: A relational model of programs without the restriction to Egli-Milner-monotone constructs. In: PROCOMET 1994: Proceedings of the IFIP TC2\/WG2.1\/WG2.2\/WG2.3 Working Conference on Programming Concepts, Methods and Calculi, pp. 363\u2013382. North-Holland, Amsterdam (1994)"},{"key":"7_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":"7_CR13","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)"},{"issue":"2","key":"7_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":"7_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":"7_CR16","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/j.scico.2006.01.010","volume":"65","author":"B. M\u00f6ller","year":"2007","unstructured":"M\u00f6ller, B.: Kleene getting lazy. Science of Computer Programming\u00a065, 195\u2013214 (2007)","journal-title":"Science of Computer Programming"},{"key":"7_CR17","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)"},{"issue":"8","key":"7_CR18","doi-asserted-by":"publisher","first-page":"572","DOI":"10.1145\/358161.358168","volume":"26","author":"D.L. Parnas","year":"1983","unstructured":"Parnas, D.L.: A generalized control structure and its formal definition. Communications of the ACM\u00a026(8), 572\u2013581 (1983)","journal-title":"Communications of the ACM"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/11828563_25","volume-title":"Relations and Kleene Algebra in Computer Science","author":"K. Solin","year":"2006","unstructured":"Solin, K.: On two dually nondeterministic refinement algebras. In: Schmidt, R.A. (ed.) RelMiCS\/AKA 2006. LNCS, vol.\u00a04136, pp. 373\u2013387. Springer, Heidelberg (2006)"},{"key":"7_CR20","unstructured":"Solin, K.: Abstract Algebra of Program Refinement. PhD thesis, Turku Center for Computer Science, University of Turku, Finland (2007)"},{"key":"7_CR21","unstructured":"Solin, K., von Wright, J.: Refinement algebra extended with operators for enabledness and termination. Technical Report 658, Turku Center for Computer Science, University of Turku, Finland, TUCS Technical Report (January 2005)"},{"key":"7_CR22","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":"7_CR23","doi-asserted-by":"crossref","unstructured":"von Wright, J.: From Kleene algebra to refinement algebra. Technical Report 450, Turku Center for Computer Science (March 2002)","DOI":"10.1007\/3-540-45442-X_14"},{"key":"7_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\/978-3-540-78913-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,9]],"date-time":"2019-05-09T23:45:09Z","timestamp":1557445509000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78913-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540789123","9783540789130"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78913-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}