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 dynamic representation of the intrinsically static Kohn maps.
Modeling Kohn Interaction Maps with Beta-Binders: An Example
C. Priami;
2005-01-01
Abstract
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 dynamic representation of the intrinsically static Kohn maps.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
