We draw an analogy between biology and computer hardware systems and argue for the need of a tower of abstractions to tame complexity of living systems. Just like in hardware design, where engineers use a tower of abstractions to produce the most complex man-made systems, we stress that in reverse engineering of biological systems; only by using a tower of abstractions we would be able to understand the "program of life".

PDF file

In  17th International Symposium on Formal Methods, LNCS 6664, pp. 3–11

Publisher  Springer Verlag

Details