A Non-Deterministic Multiset Query Language (Q5862341): Difference between revisions

@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VERIFAS
@@ Property / describes a project that uses: VERIFAS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+YAWL
@@ Property / describes a project that uses: YAWL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and complexity of Petri nets with unordered data
+Normal rank
@@ Property / cites work @@
+Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture
+Normal rank
@@ Property / cites work @@
+Model checking Petri nets with names using data-centric dynamic systems
+Normal rank
@@ Property / cites work @@
+Transactions on Petri Nets and Other Models of Concurrency XII
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+The rewriting logic semantics project
@@ Property / cites work: The rewriting logic semantics project / rank @@
+Normal rank
@@ Property / cites work @@
+Q4421726
@@ Property / cites work: Q4421726 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Reconfigurable Petri Nets with Maude
+Normal rank
@@ Property / cites work @@
+Formal verification of complex business processes based on high-level Petri nets
+Normal rank
@@ Property / cites work @@
+A Query Language Based on Term Matching and Rewriting
+Normal rank
@@ Property / cites work @@
+Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
+Normal rank
@@ Property / cites work @@
+Q3883561
@@ Property / cites work: Q3883561 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of narrowing revisited
@@ Property / cites work: Termination of narrowing revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Matching Logic: An Alternative to Hoare/Floyd Logic
+Normal rank
@@ Property / cites work @@
+Matching Logic
@@ Property / cites work: Matching Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839051
@@ Property / cites work: Q3839051 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Nominal Sets over Algebraic Atoms
@@ Property / cites work: Nominal Sets over Algebraic Atoms / rank @@
+Normal rank
@@ Property / cites work @@
+Relational transducers for electronic commerce
@@ Property / cites work: Relational transducers for electronic commerce / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447224
@@ Property / cites work: Q4447224 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5862341