Pages that link to "Item:Q3525142"
From MaRDI portal
The following pages link to Bisimulation Congruences in the Calculus of Looping Sequences (Q3525142):
Displayed 9 items.
- An algorithm for the identification of components in biochemical pathways (Q276001) (← links)
- Compositional semantics and behavioural equivalences for reaction systems with restriction (Q403001) (← links)
- Typed stochastic semantics for the calculus of looping sequences (Q418845) (← links)
- Bisimulations in calculi modelling membranes (Q939161) (← links)
- nano\(\kappa\): A calculus for the modeling and simulation of nano devices (Q959782) (← links)
- Component identification in biochemical pathways (Q2348029) (← links)
- Enumerated type semantics for the calculus of looping sequences (Q3006158) (← links)
- Type Disciplines for Analysing Biologically Relevant Properties (Q5179427) (← links)
- The Calculus of Looping Sequences for Modeling Biological Membranes (Q5452048) (← links)