An Assertional Language for the Verification of Systems Parametric in Several Dimensions (Q4921503): Difference between revisions

@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251060
@@ Property / cites work: Q4251060 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763695
@@ Property / cites work: Q2763695 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754073
@@ Property / cites work: Q2754073 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936148
@@ Property / cites work: Q4936148 / 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 @@
+Q2723913
@@ Property / cites work: Q2723913 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about systems with many processes
@@ Property / cites work: Reasoning about systems with many processes / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel program schemata
@@ Property / cites work: Parallel program schemata / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking with rich assertional languages
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Any ground associative-commutative theory has a finite canonical system
+Normal rank
@@ Property / cites work @@
+Q2703709
@@ Property / cites work: Q2703709 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated deduction with associative-commutative operators
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s1571-0661(04)00189-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2083344324
@@ Property / OpenAlex ID: W2083344324 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4921503