Pages that link to "Item:Q877021"
From MaRDI portal
The following pages link to A rewriting logic framework for operational semantics of membrane systems (Q877021):
Displaying 22 items.
- Integrated regulatory networks (IRNs): spatially organized biochemical modules (Q418851) (← links)
- Minimal probabilistic P systems for modelling ecological systems (Q896706) (← links)
- Compositional semantics and behavioral equivalences for P systems (Q924685) (← links)
- Reversing computation in membrane systems (Q974138) (← links)
- Compositional semantics of spiking neural P systems (Q987958) (← links)
- Denotational semantics of membrane systems by using complete metric spaces (Q1682859) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Simulating P systems with membrane dissolution in a chemical calculus (Q2311261) (← links)
- Simulation of spatial P system models (Q2440829) (← links)
- Finite state based testing of P systems (Q2655491) (← links)
- Simulating and model checking membrane systems using strategies in Maude (Q2667188) (← links)
- A model learning based testing approach for spiking neural P systems (Q2672640) (← links)
- 3-Col problem modelling using simple kernel P systems (Q2852135) (← links)
- Systolic Automata and P Systems (Q2944875) (← links)
- Continuation Passing Semantics for Membrane Systems (Q2975910) (← links)
- A Temporal Logic for Mutual Mobile Membranes with Objects on Surface (Q3009342) (← links)
- AN OVERVIEW ON OPERATIONAL SEMANTICS IN MEMBRANE COMPUTING (Q3076604) (← links)
- Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions (Q5170164) (← links)
- Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors (Q5179127) (← links)
- Strategy-Based Proof Calculus for Membrane Systems (Q5179128) (← links)
- Patterns for Maude Metalanguage Applications (Q5179132) (← links)
- Translating Stochastic CLS into Maude (Q5179424) (← links)
