Some complexity results for stateful network verification (Q2335903): Difference between revisions

@@ Property / describes a project that uses @@
+LoLA
@@ Property / describes a project that uses: LoLA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VeriFlow
@@ Property / describes a project that uses: VeriFlow / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Anteater
@@ Property / describes a project that uses: Anteater / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3170946043
@@ Property / OpenAlex ID: W3170946043 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01030
@@ Property / arXiv ID: 2106.01030 / 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 @@
+NetKAT
@@ Property / cites work: NetKAT / rank @@
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q4152749
@@ Property / cites work: Q4152749 / 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 @@
+A Coalgebraic Decision Procedure for NetKAT
@@ Property / cites work: A Coalgebraic Decision Procedure for NetKAT / rank @@
+Normal rank
@@ Property / cites work @@
+Ordering by Divisibility in Abstract Algebras
@@ Property / cites work: Ordering by Divisibility in Abstract Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+Normal rank
@@ Property / cites work @@
+Q4133144
@@ Property / cites work: Q4133144 / rank @@
+Normal rank
@@ Property / cites work @@
+The covering and boundedness problems for vector addition systems
+Normal rank
@@ Property / cites work @@
+Q2766586
@@ Property / cites work: Q2766586 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying lossy channel systems has nonprimitive recursive complexity.
+Normal rank
@@ Property / cites work @@
+Model Checking Multithreaded Programs with Asynchronous Atomic Methods
+Normal rank
@@ Property / cites work @@
+Some complexity results for stateful network verification
+Normal rank