Networks of Processes with Parameterized State Space (Q4921504): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4817539
@@ Property / cites work: Q4817539 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518895
@@ Property / cites work: Q4518895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766662
@@ Property / cites work: Q2766662 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about networks with many identical finite state processes
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Decision Problems of Finite Automata Design and Related Arithmetics
+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 @@
+An experience in proving regular networks of processes by modular model checking
+Normal rank
@@ Property / cites work @@
+Q4518896
@@ Property / cites work: Q4518896 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking with rich assertional languages
+Normal rank
@@ Property / cites work @@
+A structural induction theorem for processes
@@ Property / cites work: A structural induction theorem for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of parameterized networks of processes
+Normal rank
@@ Property / cites work @@
+Property preserving abstractions for the verification of concurrent systems
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank