{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:22:30Z","timestamp":1759638150016,"version":"3.37.3"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319994970"},{"type":"electronic","value":"9783319994987"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-99498-7_8","type":"book-chapter","created":{"date-parts":[[2018,8,21]],"date-time":"2018-08-21T04:45:39Z","timestamp":1534826739000},"page":"123-129","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Simulation of Base Excision Repair in the Calculus of Covalent Bonding"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5990-4157","authenticated-orcid":false,"given":"Stefan","family":"Kuhn","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,22]]},"reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-319-73359-3_3","volume-title":"Membrane Computing","author":"B Aman","year":"2018","unstructured":"Aman, B., Ciobanu, G.: Controlled reversibility in reaction systems. In: Gheorghe, M., Rozenberg, G., Salomaa, A., Zandron, C. (eds.) CMC 2017. LNCS, vol. 10725, pp. 40\u201353. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-73359-3_3"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-319-12982-2_13","volume-title":"Computational Methods in Systems Biology","author":"A K\u00f6hler","year":"2014","unstructured":"K\u00f6hler, A., Krivine, J., Vidmar, J.: A rule-based model of base excision repair. In: Mendes, P., Dada, J.O., Smallbone, K. (eds.) CMSB 2014. LNCS, vol. 8859, pp. 173\u2013195. Springer, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-12982-2_13"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-319-20860-2_19","volume-title":"Reversible Computation","author":"S Kuhn","year":"2015","unstructured":"Kuhn, S., Ulidowski, I.: Towards modelling of local reversibility. In: Krivine, J., Stefani, J.-B. (eds.) RC 2015. LNCS, vol. 9138, pp. 279\u2013284. Springer, Cham (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-20860-2_19"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-319-40578-0_2","volume-title":"Reversible Computation","author":"S Kuhn","year":"2016","unstructured":"Kuhn, S., Ulidowski, I.: A calculus for local reversibility. In: Devitt, S., Lanese, I. (eds.) RC 2016. LNCS, vol. 9720, pp. 20\u201335. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-40578-0_2"},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1016\/j.scico.2017.09.008","volume":"151","author":"S Kuhn","year":"2017","unstructured":"Kuhn, S., Ulidowski, I.: Local reversibility in a Calculus of Covalent Bonding. Sci. Comput. Program. 151, 18\u201347 (2017)","journal-title":"Sci. Comput. Program."},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-642-36315-3_19","volume-title":"Reversible Computation","author":"I Lanese","year":"2013","unstructured":"Lanese, I., Mezzina, C.A., Stefani, J.-B.: Controlled reversibility and compensations. In: Gl\u00fcck, R., Yokoyama, T. (eds.) RC 2012. LNCS, vol. 7581, pp. 233\u2013240. Springer, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-36315-3_19"},{"key":"8_CR7","first-page":"122","volume":"114","author":"I Lanese","year":"2014","unstructured":"Lanese, I., Mezzina, C.A., Tiezzi, F.: Causal-consistent reversibility. Bull. EATCS 114, 122\u2013139 (2014)","journal-title":"Bull. EATCS"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-642-36315-3_18","volume-title":"Reversible Computation","author":"I Phillips","year":"2013","unstructured":"Phillips, I., Ulidowski, I., Yuen, S.: A reversible process calculus and the modelling of the ERK signalling pathway. In: Gl\u00fcck, R., Yokoyama, T. (eds.) RC 2012. LNCS, vol. 7581, pp. 218\u2013232. Springer, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-36315-3_18"},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.jlap.2006.11.002","volume":"73","author":"I Phillips","year":"2007","unstructured":"Phillips, I., Ulidowski, I.: Reversing Algebraic Process Calculi. J. Logic Algebraic Program. 73, 70\u201396 (2007)","journal-title":"J. Logic Algebraic Program."},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"1667","DOI":"10.1002\/pro.2554","volume":"23","author":"N Schormann","year":"2014","unstructured":"Schormann, N., Ricciardi, R., Chattopadhyay, D.: Uracil-DNA glycosylases - structural and functional perspectives on an essential family of DNA repair enzymes. Protein Sci. 23, 1667\u20131685 (2014)","journal-title":"Protein Sci."}],"container-title":["Lecture Notes in Computer Science","Reversible Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99498-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,8,21]],"date-time":"2018-08-21T04:48:47Z","timestamp":1534826927000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99498-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319994970","9783319994987"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99498-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}