State Space Reduction of Linear Processes Using Control Flow Reconstruction (Q3648690): Difference between revisions

@@ Property / cites work @@
+Q4808829
@@ Property / cites work: Q4808829 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of a sliding window protocol in \(\mu\) CRL and PVS
+Normal rank
@@ Property / cites work @@
+Q4806211
@@ Property / cites work: Q4806211 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Reachability for Process Algebras with Recursive Data Types
+Normal rank
@@ Property / cites work @@
+Q4494380
@@ Property / cites work: Q4494380 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484474
@@ Property / cites work: Q4484474 / rank @@
+Normal rank
@@ Property / cites work @@
+State space reduction for process algebra specifications
+Normal rank
@@ Property / cites work @@
+Linearization in parallel pCRL
@@ Property / cites work: Linearization in parallel pCRL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536374
@@ Property / cites work: Q4536374 / rank @@
+Normal rank
@@ Property / cites work @@
+Invariants for the construction of a handshake register
+Normal rank
@@ Property / cites work @@
+Q3833630
@@ Property / cites work: Q3833630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking a cache coherence protocol of a Java DSM implementation
+Normal rank
@@ Property / cites work @@
+State Space Reduction of Linear Processes Using Control Flow Reconstruction
+Normal rank
@@ Property / cites work @@
+Static analysis for state-space reductions preserving temporal logics
+Normal rank