Bigraphical models for protein and membrane interactions

mework can be used to compare and merge models at different abstraction levels; in particular, higher-level (e.g. mobility) activities can be given a formal biological justification in terms of low-level (i.e., protein) interactions. As examples, we formalize in our framework the vesiculation and the phagocytosis processes.

• Type: Journal
• Year: 2009
• Where: CORR
• Authors: Giorgio Bacci, Davide Grohmann, Marino Miculan
• Keywords: Abstraction, CORR 2009, Education, Formal Biological Justification, Phagocytosis