Pages that link to "Item:Q1884867"
From MaRDI portal
The following pages link to Modelling biochemical pathways through enhanced \(\pi\)-calculus (Q1884867):
Displaying 14 items.
- Simulation techniques for the calculus of wrapped compartments (Q418836) (← links)
- Typed stochastic semantics for the calculus of looping sequences (Q418845) (← links)
- Spatial calculus of looping sequences (Q652132) (← links)
- Bisimulations in calculi modelling membranes (Q939161) (← links)
- Computational virtuality in biological systems (Q1004078) (← links)
- Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice (Q1884863) (← links)
- An intermediate language for the stochastic simulation of biological systems (Q2271445) (← links)
- A control flow analysis for Beta-binders with and without static compartments (Q2271446) (← links)
- What is a free name in a process algebra? (Q2379969) (← links)
- A general overview of formal languages for individual-based modelling of ecosystems (Q2423746) (← links)
- An Intermediate Language for the Simulation of Biological Systems (Q2870295) (← links)
- Pierpaolo Degano (Q3460854) (← links)
- Spatial Calculus of Looping Sequences (Q5404072) (← links)
- The Calculus of Looping Sequences for Modeling Biological Membranes (Q5452048) (← links)
