Simulation of Base Excision Repair in the Calculus of Covalent Bonding
dc.cclicence | CC-BY-NC | en |
dc.contributor.author | Kuhn, Stefan | en |
dc.date.acceptance | 2018-05-29 | en |
dc.date.accessioned | 2018-07-17T10:46:50Z | |
dc.date.available | 2018-07-17T10:46:50Z | |
dc.date.issued | 2018 | |
dc.description.abstract | In previous papers we have introduced a new process calculus inspired by chemical reactions, called the Calculus of Covalent Bonding. The key feature of the calculus was a new prefix operator of the form (s; b), where doing of action b triggers undoing of one of the actions in s. Because of this connection between doing and undoing of actions (or forming and breaking of bonds in a chemical modelling) we called this local reversibility. We have shown that our calculus enables out-ofcausal order reversibility. In this paper we demonstrate the Base Excision Repair of DNA, a high-level biological example, using our calculus. We also introduce a software which allows us to check the syntax of processes and to simulate their execution. | en |
dc.funder | N/A | en |
dc.identifier.citation | Kuhn, S. (2018) Simulation of Base Excision Repair in the Calculus of Covalent Bonding. In: Ulidowski, I. and Kari, J. (eds.) Reversible Computation 10th International Conference (RC 2018) proceedings, Leicester, UK, September 2018. | en |
dc.identifier.doi | https://doi.org/10.1007/978-3-319-99498-7_8 | |
dc.identifier.isbn | 9783319994987 | |
dc.identifier.isbn | 9783319994970 | |
dc.identifier.uri | http://hdl.handle.net/2086/16364 | |
dc.language.iso | en | en |
dc.peerreviewed | Yes | en |
dc.projectid | N/A | en |
dc.publisher | Springer | en |
dc.researchinstitute | Cyber Technology Institute (CTI) | en |
dc.subject | Process calculi | en |
dc.subject | Reversibility | en |
dc.subject | Base Excision Repair | en |
dc.subject | Calculus of Covalent Bonding | en |
dc.title | Simulation of Base Excision Repair in the Calculus of Covalent Bonding | en |
dc.type | Conference | en |