The following pages link to (Q5486047):
Displaying 19 items.
- Identification of components in biochemical pathways: extensive aqpplication to SBML models (Q256973) (← links)
- 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)
- nano\(\kappa\): A calculus for the modeling and simulation of nano devices (Q959782) (← links)
- An overview of the K semantic framework (Q987974) (← links)
- An intermediate language for the stochastic simulation of biological systems (Q2271445) (← links)
- An Intermediate Language for the Simulation of Biological Systems (Q2870295) (← links)
- Enumerated type semantics for the calculus of looping sequences (Q3006158) (← links)
- Process Algebra Modelling Styles for Biomolecular Processes (Q3642950) (← links)
- (Q5013824) (← links)
- Type Disciplines for Analysing Biologically Relevant Properties (Q5179427) (← links)
- Spatial Calculus of Looping Sequences (Q5404072) (← links)
- Modular Verification of Interactive Systems with an Application to Biology (Q5404087) (← links)
- Formal Cellular Machinery (Q5404096) (← links)
- Stochastic Bigraphs (Q5415632) (← links)
- The Calculus of Looping Sequences for Modeling Biological Membranes (Q5452048) (← links)
- An encoding of the \(\lambda \)-calculus in the string MultiSet rewriting calculus (Q6541035) (← links)
