Pages that link to "Item:Q2870304"
From MaRDI portal
The following pages link to A Spatial Extension to the π Calculus (Q2870304):
Displaying 11 items.
- Using bigraphs to model topological graphs embedded in orientable surfaces (Q383361) (← links)
- Processes in space (Q418828) (← links)
- Integrated regulatory networks (IRNs): spatially organized biochemical modules (Q418851) (← links)
- Spatial P systems (Q537815) (← links)
- Spatial calculus of looping sequences (Q652132) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- A general overview of formal languages for individual-based modelling of ecosystems (Q2423746) (← links)
- Simulation of spatial P system models (Q2440829) (← links)
- The Attributed Pi-Calculus with Priorities (Q3068847) (← links)
- Spatial Calculus of Looping Sequences (Q5404072) (← links)
- A Process Model of Actin Polymerisation (Q5404079) (← links)
