We represent a subset of the mammalian cell cycle Kohn interaction map using Beta-binders, a formalism inspired to the pi-calculus and enriched with binders that allow the description of enclosing surfaces equipped with interaction sites. Specifically, the interactions between the p53 protein and its main regulator Mdm2 is analyzed.
Beta-binders comes equipped with a reduction semantics for the formal description of the evolution of the specified systems. This allows a
representation of the intrinsically