The π-calculus as an Abstraction for Biomolecular Systems

Biochemical processes, carried out by networks of proteins, underlies the major functions of living cells ([8, 60]). Although such systems are the focus of intensive experimental research, the mountains of knowledge about the function, activity, and interaction of molecular systems in cells remain fragmented. While computational methods are key to addressing this challenge ([8, 60]), they require the adoption of a meaningful mathematical abstraction [50s]. The research of biomolecular systems has yet to identify and adopt such a unifying abstraction.