The only way is up

Authors:
Jasmin Fisher;Nir Piterman;Moshe Y. Vardi
Affiliations:
Microsoft Research Cambridge, UK;University of Leicester, UK;Rice University
Venue:
FM'11 Proceedings of the 17th international conference on Formal methods
Year:
2011

Citing 3
Cited 1

Digital Design: Principles and Practices (4th Edition)

Digital Design: Principles and Practices (4th Edition)
Emergence explained: Abstractions: Getting epiphenomena to do real work: Essays and Commentaries

Complexity
Algorithmic systems biology

Communications of the ACM - Security in the Browser

Approximate bisimulations for sodium channel dynamics

CMSB'12 Proceedings of the 10th international conference on Computational Methods in Systems Biology

Quantified Score

Hi-index	0.00

Visualization

Abstract

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