Pages that link to "Item:Q5756508"
From MaRDI portal
The following pages link to A Core Calculus for a Comparative Analysis of Bio-inspired Calculi (Q5756508):
Displaying 13 items.
- Constructing and visualizing chemical reaction networks from pi-calculus models (Q470031) (← links)
- QoS negotiation in service composition (Q615894) (← links)
- Spatial calculus of looping sequences (Q652132) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- Stochastic biological modelling in the presence of multiple compartments (Q2271443) (← links)
- An intermediate language for the stochastic simulation of biological systems (Q2271445) (← links)
- Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes (Q2870307) (← links)
- Biochemical Reaction Rules with Constraints (Q3000587) (← links)
- The Attributed Pi-Calculus with Priorities (Q3068847) (← links)
- Process Algebra Modelling Styles for Biomolecular Processes (Q3642950) (← links)
- An Abstract Machine for the Stochastic Bioambient calculus (Q5179430) (← links)
- Spatial Calculus of Looping Sequences (Q5404072) (← links)
- A Translation of Beta-binders in a Prioritized Pi-calculus (Q5404078) (← links)
