Actor-based slicing techniques for efficient reduction of Rebeca models (Q988163): Difference between revisions

@@ Property / cites work @@
+Q4885877
@@ Property / cites work: Q4885877 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4681459
@@ Property / cites work: Q4681459 / rank @@
+Normal rank
@@ Property / cites work @@
+From μCRL to mCRL2
@@ Property / cites work: From μCRL to mCRL2 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+Actor-based slicing techniques for efficient reduction of Rebeca models
+Normal rank
@@ Property / cites work @@
+Q2754117
@@ Property / cites work: Q2754117 / rank @@
+Normal rank
@@ Property / cites work @@
+Slicing software for model construction
@@ Property / cites work: Slicing software for model construction / rank @@
+Normal rank
@@ Property / cites work @@
+Issues in slicing PROMELA and its applications to model checking, protocol understanding, and simulation
+Normal rank
@@ Property / cites work @@
+Slicing Petri Nets with an Application to Workflow Verification
+Normal rank
@@ Property / cites work @@
+Formal Verification of Simulation Traces Using Computation Slicing
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+The program dependence graph and its use in optimization
+Normal rank