{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:05:17Z","timestamp":1725584717988},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642210693"},{"type":"electronic","value":"9783642210709"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21070-9_19","type":"book-chapter","created":{"date-parts":[[2011,6,7]],"date-time":"2011-06-07T04:02:27Z","timestamp":1307419347000},"page":"248-263","source":"Crossref","is-referenced-by-count":1,"title":["Omega Algebras and Regular Equations"],"prefix":"10.1007","author":[{"given":"Michael R.","family":"Laurence","sequence":"first","affiliation":[]},{"given":"Georg","family":"Struth","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Arden, D.N.: Delayed-logic and finite-state machines. In: Annual IEEE Symposium on Foundations of Computer Science, pp. 133\u2013151 (1961)","DOI":"10.1109\/FOCS.1961.13"},{"issue":"2","key":"19_CR2","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1093\/imamat\/15.2.161","volume":"15","author":"R.C. Backhouse","year":"1975","unstructured":"Backhouse, R.C., Carr\u00e9, B.A.: Regular algebras applied to path-finding problems. IMA J. Appl. Math.\u00a015(2), 161\u2013186 (1975)","journal-title":"IMA J. Appl. Math."},{"issue":"4","key":"19_CR3","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1145\/321239.321249","volume":"11","author":"J.A. Brzozowski","year":"1964","unstructured":"Brzozowski, J.A.: Derivatives of regular expressions. J. ACM\u00a011(4), 481\u2013494 (1964)","journal-title":"J. ACM"},{"key":"19_CR4","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)"},{"issue":"1:1","key":"19_CR5","first-page":"1","volume":"7","author":"J. Desharnais","year":"2011","unstructured":"Desharnais, J., M\u00f6ller, B., Struth, G.: Algebraic notions of termination. Logical Methods in Computer Science\u00a07(1:1), 1\u201329 (2011)","journal-title":"Logical Methods in Computer Science"},{"issue":"3","key":"19_CR6","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/j.scico.2010.05.007","volume":"76","author":"J. Desharnais","year":"2011","unstructured":"Desharnais, J., Struth, G.: Internal axioms for domain semirings. Science of Computer Programming\u00a076(3), 181\u2013203 (2011)","journal-title":"Science of Computer Programming"},{"issue":"1-2","key":"19_CR7","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/S0304-3975(96)00154-5","volume":"179","author":"H. Doornbos","year":"1997","unstructured":"Doornbos, H., Backhouse, R.C., van der Woude, J.: A calculational approach to mathematical induction. Theor. Comput. Sci.\u00a0179(1-2), 103\u2013135 (1997)","journal-title":"Theor. Comput. Sci."},{"key":"19_CR8","first-page":"52","volume-title":"RAMiCS 2011","author":"S. Foster","year":"2011","unstructured":"Foster, S., Struth, G., Weber, T.: Automated engineering of relational and algebraic methods in isabelle\/hol. In: de Swart, H. (ed.) RAMiCS 2011, vol.\u00a06663, pp. 52\u201367. Springer, Heidelberg (2011)"},{"issue":"8","key":"19_CR9","doi-asserted-by":"publisher","first-page":"794","DOI":"10.1016\/j.jlap.2010.07.016","volume":"79","author":"P. H\u00f6fner","year":"2010","unstructured":"H\u00f6fner, P., Struth, G.: Algebraic notions of nontermination: Omega and divergence in idempotent semirings. J. Logic and Algebraic Programming\u00a079(8), 794\u2013811 (2010)","journal-title":"J. Logic and Algebraic Programming"},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/BFb0029594","volume-title":"Mathematical Foundations of Computer Science 1990","author":"D. Kozen","year":"1990","unstructured":"Kozen, D.: On Kleene algebras and closed semirings. In: Rovan, B. (ed.) MFCS 1990. LNCS, vol.\u00a0452, pp. 26\u201347. Springer, Heidelberg (1990)"},{"issue":"2","key":"19_CR11","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"},{"key":"19_CR12","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1016\/0022-0000(84)90023-0","volume":"28","author":"R. Milner","year":"1982","unstructured":"Milner, R.: A complete inference system for a class of regular behaviours. J. Computer and System Sciences\u00a028, 439\u2013466 (1982)","journal-title":"J. Computer and System Sciences"},{"key":"19_CR13","unstructured":"Paulson, L., Nipkow, T., Wenzel, M.: Isabelle, \n                  \n                    http:\/\/www.cl.cam.ac.uk\/research\/hvg\/Isabelle\/index.html"},{"issue":"1","key":"19_CR14","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1145\/321312.321326","volume":"13","author":"A. Salomaa","year":"1966","unstructured":"Salomaa, A.: Two complete axiom systems for the algebra of regular events. J. ACM\u00a013(1), 158\u2013169 (1966)","journal-title":"J. ACM"},{"key":"19_CR15","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/j.entcs.2008.06.005","volume":"214","author":"G. Struth","year":"2008","unstructured":"Struth, G.: Modal tools for separation and refinement. Electronic Notes in Theoretical Computer Science\u00a0214, 81\u2013101 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"19_CR16","unstructured":"Struth, G., et\u00a0al.: Isabelle algebraic methods repository (2011), \n                  \n                    http:\/\/www.dcs.shef.ac.uk\/~georg\/isa"},{"issue":"7","key":"19_CR17","first-page":"337","volume":"12","author":"K.W. Wagner","year":"1976","unstructured":"Wagner, K.W.: Eine Axiomatisierung der Theorie der regul\u00e4ren Folgenmengen. Elektronische Informationsverarbeitung und Kybernetik\u00a012(7), 337\u2013354 (1976)","journal-title":"Elektronische Informationsverarbeitung und Kybernetik"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21070-9_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,28]],"date-time":"2019-03-28T08:13:20Z","timestamp":1553760800000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21070-9_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642210693","9783642210709"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21070-9_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}