Browsing Faculty of Computing, Engineering and Media by Subject "Calculus of Covalent Bonding"

Now showing items 1-2 of 2

Reversibility in Chemical Reactions

Kuhn, Stefan; Bogdan, Aman; Ciobanu, Gabriel; Phillipou, Anna; Psara, Kyriaki; Ulidowski, Irek (Book chapter)

In this chapter we give an overview of techniques for the modelling and reasoning about reversibility of systems, including outof- causal-order reversibility, as it appears in chemical reactions. We consider the ...
Simulation of Base Excision Repair in the Calculus of Covalent Bonding

Kuhn, Stefan (Conference)

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 ...