On relating rewriting systems and graph grammars to event structures (Q5096291): Difference between revisions

@@ Property / cites work @@
+Graph expressions and graph rewritings
@@ Property / cites work: Graph expressions and graph rewritings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282581
@@ Property / cites work: Q4282581 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4194478
@@ Property / cites work: Q4194478 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3785988
@@ Property / cites work: Q3785988 / rank @@
+Normal rank
@@ Property / cites work @@
+Actor grammars
@@ Property / cites work: Actor grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+On graph rewritings
@@ Property / cites work: On graph rewritings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694747
@@ Property / cites work: Q4694747 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023261
@@ Property / cites work: Q4023261 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent transition systems
@@ Property / cites work: Concurrent transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Connections between a concrete and an abstract model of concurrent systems
+Normal rank
@@ Property / cites work @@
+Q4733435
@@ Property / cites work: Q4733435 / rank @@
+Normal rank