Pages that link to "Item:Q5429370"
From MaRDI portal
The following pages link to Modeling Static Biological Compartments with Beta-binders (Q5429370):
Displayed 7 items.
- A control flow analysis for Beta-binders with and without static compartments (Q2271446) (← links)
- Verification of spatial and temporal modalities in biochemical systems (Q2520667) (← links)
- A proof theoretic view of spatial and temporal dependencies in biochemical systems (Q2628774) (← links)
- The Attributed Pi-Calculus with Priorities (Q3068847) (← links)
- A Projective Brane Calculus with Activate, Bud and Mate as Primitive Actions (Q3642955) (← links)
- Modelling Biological Compartments in Bio-PEPA (Q5179426) (← links)
- Process calculi for biological processes (Q6062000) (← links)