{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,7]],"date-time":"2025-12-07T16:01:35Z","timestamp":1765123295651},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662439500"},{"type":"electronic","value":"9783662439517"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-43951-7_24","type":"book-chapter","created":{"date-parts":[[2014,6,11]],"date-time":"2014-06-11T08:37:49Z","timestamp":1402475869000},"page":"280-292","source":"Crossref","is-referenced-by-count":14,"title":["Kleene Algebra with Equations"],"prefix":"10.1007","author":[{"given":"Dexter","family":"Kozen","sequence":"first","affiliation":[]},{"given":"Konstantinos","family":"Mamouras","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","unstructured":"Angus, A., Kozen, D.: Kleene algebra with tests and program schematology. Technical Report TR2001-1844, CS Department, Cornell University (July 2001)"},{"key":"24_CR2","unstructured":"Barth, A., Kozen, D.: Equational verification of cache blocking in LU decomposition using Kleene algebra with tests. Technical Report TR2002-1865, Computer Science Department, Cornell University (June 2002)"},{"key":"24_CR3","unstructured":"Cohen, E.: Hypotheses in Kleene algebra. Technical report, Bellcore (1993)"},{"key":"24_CR4","unstructured":"Cohen, E.: Lazy caching in Kleene algebra (1994)"},{"key":"24_CR5","unstructured":"Cohen, E.: Using Kleene algebra to reason about concurrency control. Technical report, Telcordia, Morristown, N.J (1994)"},{"issue":"3","key":"24_CR6","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. Transactions on Programming Languages and Systems\u00a019(3), 427\u2013443 (1997)","journal-title":"Transactions on Programming Languages and Systems"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"Kozen, D., Patron, M.C.: Certification of compiler optimizations using Kleene algebra with tests. In: Proc. 1st Int. Conf. Comput. Logic (CL 2000), pp. 568\u2013582 (2000)","DOI":"10.1007\/3-540-44957-4_38"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Anderson, C.J., Foster, N., Guha, A., Jeannin, J.-B., Kozen, D., Schlesinger, C., Walker, D.: NetKAT: Semantic foundations for networks. In: Proceedings of POPL 2014, San Diego, California, USA, pp. 113\u2013126. ACM (January 2014)","DOI":"10.1145\/2578855.2535862"},{"key":"24_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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":"24_CR10","unstructured":"Hardin, C., Kozen, D.: On the elimination of hypotheses in Kleene algebra with tests. Technical Report TR2002-1879, CS Department, Cornell University (2002)"},{"key":"24_CR11","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1006\/inco.2001.2960","volume":"179","author":"D. Kozen","year":"2002","unstructured":"Kozen, D.: On the complexity of reasoning in Kleene algebra. Information and Computation\u00a0179, 152\u2013162 (2002)","journal-title":"Information and Computation"},{"key":"24_CR12","unstructured":"Foster, N., Kozen, D., Milano, M., Silva, A., Thompson, L.: A coalgebraic decision procedure for NetKAT. Technical Report, Computing and Information Science, Cornell University (2014), http:\/\/hdl.handle.net\/1813\/36255"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Grathwohl, N.B.B., Kozen, D., Mamouras, K.: KAT + B! Technical Report, CIS, Cornell University (January 2014), http:\/\/hdl.handle.net\/1813\/34898","DOI":"10.1145\/2603088.2603095"},{"key":"24_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/978-3-642-35843-2_32","volume-title":"SOFSEM 2013: Theory and Practice of Computer Science","author":"J. Rot","year":"2013","unstructured":"Rot, J., Bonsangue, M., Rutten, J.: Coalgebraic bisimulation-up-to. In: van Emde Boas, P., Groen, F.C.A., Italiano, G.F., Nawrocki, J., Sack, H. (eds.) SOFSEM 2013. LNCS, vol.\u00a07741, pp. 369\u2013381. Springer, Heidelberg (2013)"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"Bonchi, F., Pous, D.: Checking NFA equivalence with bisimulations up to congruence. In: Proceedings of POPL 2013, pp. 457\u2013468. ACM (2013)","DOI":"10.1145\/2480359.2429124"},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"Book, R.V., Otto, F.: String-Rewriting Systems. Springer (1993)","DOI":"10.1007\/978-1-4613-9771-7"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"Kozen, D., Mamouras, K.: Kleene algebra with equations. Technical Report\u00a0 CIS, Cornell University (February 2014), http:\/\/hdl.handle.net\/1813\/36202","DOI":"10.1007\/978-3-662-43951-7_24"},{"issue":"2","key":"24_CR18","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. Infor. and Comput.\u00a0110(2), 366\u2013390 (1994)","journal-title":"Infor. and Comput."},{"key":"24_CR19","doi-asserted-by":"crossref","unstructured":"Baader, F., Nipkow, T.: Term Rewriting and All That. CUP (1998)","DOI":"10.1017\/CBO9781139172752"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages, and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-43951-7_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,20]],"date-time":"2020-08-20T21:48:21Z","timestamp":1597960101000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-43951-7_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662439500","9783662439517"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-43951-7_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}