Defining and Executing P Systems with Structured Data in K (Q5191176): Difference between revisions

@@ Property / cites work @@
+Membrane Computing
@@ Property / cites work: Membrane Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Expressing Control Mechanisms of Membranes by Rewriting Strategies
+Normal rank
@@ Property / cites work @@
+Q2852095
@@ Property / cites work: Q2852095 / rank @@
+Normal rank
@@ Property / cites work @@
+A rewriting logic framework for operational semantics of membrane systems
+Normal rank
@@ Property / cites work @@
+The chemical abstract machine
@@ Property / cites work: The chemical abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+Brane Calculi
@@ Property / cites work: Brane Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+P transducers
@@ Property / cites work: P transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting logic
+Normal rank
@@ Property / cites work @@
+The conformon-P system: a molecular and cell biology-inspired computability model
+Normal rank
@@ Property / cites work @@
+A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+The power of communication: P systems with symport/antiport
+Normal rank
@@ Property / cites work @@
+Computing with membranes
@@ Property / cites work: Computing with membranes / rank @@
+Normal rank
@@ Property / cites work @@
+Q2708469
@@ Property / cites work: Q2708469 / rank @@
+Normal rank