Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication (Q3636840): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-02424-5_6
+Normal rank
@@ Property / OpenAlex ID @@
+W2161984463
@@ Property / OpenAlex ID: W2161984463 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57831229
@@ Property / Wikidata QID: Q57831229 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying programs with unreliable channels
@@ Property / cites work: Verifying programs with unreliable channels / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic analysis of programs with well quasi-ordered domains.
+Normal rank
@@ Property / cites work @@
+Comparing the Expressive Power of Well-Structured Transition Systems
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q4289279
@@ Property / cites work: Q4289279 / rank @@
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798028
@@ Property / cites work: Q4798028 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Petri nets
@@ Property / cites work: Recursive Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3601861
@@ Property / cites work: Q3601861 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4507821
@@ Property / cites work: Q4507821 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+On the Expressiveness of Mobile Synchronizing Petri Nets
+Normal rank
@@ Property / cites work @@
+Q3601864
@@ Property / cites work: Q3601864 / rank @@
+Normal rank