Luca Cardelli worked on this stuff a while back [1]. Perhaps "systems biology" [2] might provide an entry to the literature.
[1] https://en.wikipedia.org/wiki/Luca_Cardelli
[2] https://en.wikipedia.org/wiki/Systems_biology