Formal communication elimination and sequentialization equivalence proofs for distributed system models (Q466919): Difference between revisions

@@ Property / cites work @@
+Partial-order reduction in symbolic state-space exploration
+Normal rank
@@ Property / cites work @@
+Q2850665
@@ Property / cites work: Q2850665 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed cooperation with action systems
@@ Property / cites work: Distributed cooperation with action systems / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement of fair action systems
@@ Property / cites work: Refinement of fair action systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Q4778694
@@ Property / cites work: Q4778694 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Sequentialization of Distributed Systems via Program Rewriting
+Normal rank
@@ Property / cites work @@
+Data Refinement
@@ Property / cites work: Data Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Q2768503
@@ Property / cites work: Q2768503 / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposition of distributed programs into communication-closed layers
+Normal rank
@@ Property / cites work @@
+Q4003964
@@ Property / cites work: Q4003964 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of correctness of data representations
@@ Property / cites work: Proof of correctness of data representations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Prespecification in data refinement
@@ Property / cites work: Prespecification in data refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Q3993115
@@ Property / cites work: Q3993115 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Verification of Reactive Systems: Response
+Normal rank
@@ Property / cites work @@
+Q4494394
@@ Property / cites work: Q4494394 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530804
@@ Property / cites work: Q4530804 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494387
@@ Property / cites work: Q4494387 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037107
@@ Property / cites work: Q4037107 / rank @@
+Normal rank
@@ Property / cites work @@
+The laws of Occam programming
@@ Property / cites work: The laws of Occam programming / rank @@
+Normal rank
@@ Property / cites work @@
+Consolidated Ada reference manual. Language and standard libraries. International standard ISO/ IEC 8652/1995(E) with technical corrigendum 1
+Normal rank
@@ Property / cites work @@
+Static analysis for state-space reductions preserving temporal logics
+Normal rank