Q5089316 (Q5089316): Difference between revisions

@@ Property / cites work @@
+Using forward reachability analysis for verification of lossy channel systems
+Normal rank
@@ Property / cites work @@
+Verifying Communicating Multi-pushdown Systems via Split-Width
+Normal rank
@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+On the completeness of verifying message passing programs under bounded asynchrony
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of programs with half-duplex communication
+Normal rank
@@ Property / cites work @@
+Forward Analysis and Model Checking for Trace Bounded WSTS
+Normal rank
@@ Property / cites work @@
+Q3396589
@@ Property / cites work: Q3396589 / rank @@
+Normal rank
@@ Property / cites work @@
+The reachability problem for Petri nets is not elementary
+Normal rank
@@ Property / cites work @@
+Model-checking CTL* over flat Presburger counter systems
+Normal rank
@@ Property / cites work @@
+A Perfect Model for Bounded Verification
@@ Property / cites work: A Perfect Model for Bounded Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Flat FIFO Systems
@@ Property / cites work: Verification of Flat FIFO Systems / 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 @@
+Q5431917
@@ Property / cites work: Q5431917 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Algol-Like Languages
@@ Property / cites work: Bounded Algol-Like Languages / rank @@
+Normal rank
@@ Property / cites work @@
+On the \(k\)-synchronizability of systems
@@ Property / cites work: On the \(k\)-synchronizability of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3780411
@@ Property / cites work: Q3780411 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability Analysis of Communicating Pushdown Systems
+Normal rank
@@ Property / cites work @@
+Q4035681
@@ Property / cites work: Q4035681 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing for unboundedness of fifo channels
@@ Property / cites work: Testing for unboundedness of fifo channels / rank @@
+Normal rank
@@ Property / cites work @@
+Context-Bounded Analysis of Concurrent Queue Systems
+Normal rank
@@ Property / cites work @@
+The tree width of auxiliary storage
@@ Property / cites work: The tree width of auxiliary storage / rank @@
+Normal rank
@@ Property / cites work @@
+An Algorithm for the General Petri Net Reachability Problem
+Normal rank
@@ Property / cites work @@
+An introduction to FIFO nets - monogeneous nets: a subclass of FIFO nets
+Normal rank
@@ Property / cites work @@
+Automates a file
@@ Property / cites work: Automates a file / rank @@
+Normal rank
@@ Property / cites work @@
+Unboundedness detection for a class of communicating finite-state machines
+Normal rank