The following pages link to (Q5472932):
Displayed 5 items.
- Compositional semantics and behavioural equivalences for reaction systems with restriction (Q403001) (← links)
- Minimal probabilistic P systems for modelling ecological systems (Q896706) (← links)
- Abstract interpretation based verification of temporal properties for BioAmbients (Q989287) (← links)
- Applications of P Systems in Population Biology and Ecology: The Cases of MPP and APP Systems (Q2975901) (← links)
- The Calculus of Looping Sequences for Modeling Biological Membranes (Q5452048) (← links)