Show simple item record

dc.contributor.authorKuhn, Stefanen
dc.date.accessioned2018-07-17T10:46:50Z
dc.date.available2018-07-17T10:46:50Z
dc.date.issued2018
dc.identifier.citationKuhn, 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.isbn9783319994987
dc.identifier.isbn9783319994970
dc.identifier.urihttp://hdl.handle.net/2086/16364
dc.description.abstractIn 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.language.isoenen
dc.publisherSpringeren
dc.subjectProcess calculien
dc.subjectReversibilityen
dc.subjectBase Excision Repairen
dc.subjectCalculus of Covalent Bondingen
dc.titleSimulation of Base Excision Repair in the Calculus of Covalent Bondingen
dc.typeConferenceen
dc.identifier.doihttps://doi.org/10.1007/978-3-319-99498-7_8
dc.peerreviewedYesen
dc.funderN/Aen
dc.projectidN/Aen
dc.cclicenceCC-BY-NCen
dc.date.acceptance2018-05-29en
dc.researchinstituteCyber Technology Institute (CTI)en


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record