Pages that link to "Item:Q1884863"
From MaRDI portal
The following pages link to Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice (Q1884863):
Displaying 9 items.
- Biochemical systems theory: a review (Q355964) (← links)
- A semantic equivalence for Bio-PEPA based on discretisation of continuous values (Q533358) (← links)
- Equivalences for a biological process algebra (Q652149) (← links)
- Generalizing the Paige-Tarjan algorithm by abstract interpretation (Q924726) (← links)
- Bisimulations in calculi modelling membranes (Q939161) (← links)
- Inclusion dynamics hybrid automata (Q999262) (← links)
- An efficient simulation algorithm based on abstract interpretation (Q1049401) (← links)
- Verifying chemical reaction network implementations: a bisimulation approach (Q2422008) (← links)
- Timed concurrent constraint programming for analysing biological systems (Q2864201) (← links)