Pages that link to "Item:Q3591032"
From MaRDI portal
The following pages link to Expressing Control Mechanisms of Membranes by Rewriting Strategies (Q3591032):
Displayed 5 items.
- P systems with control nuclei: the concept (Q987966) (← links)
- Simulating and model checking membrane systems using strategies in Maude (Q2667188) (← links)
- Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions (Q5170164) (← links)
- Strategy-Based Proof Calculus for Membrane Systems (Q5179128) (← links)
- Defining and Executing P Systems with Structured Data in K (Q5191176) (← links)