Refinement verification of the lazy caching algorithm (Q2509154): Difference between revisions

@@ Property / cites work @@
+The existence of refinement mappings
@@ Property / cites work: The existence of refinement mappings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551176
@@ Property / cites work: Q4551176 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3713577
@@ Property / cites work: Q3713577 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808690
@@ Property / cites work: Q4808690 / rank @@
+Normal rank
@@ Property / cites work @@
+Using eternity variables to specify and prove a serializable database interface
+Normal rank
@@ Property / cites work @@
+Universal extensions to simulate specifications
@@ Property / cites work: Universal extensions to simulate specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Splitting forward simulations to cope with liveness
+Normal rank
@@ Property / cites work @@
+Forward and backward simulations. I. Untimed Systems
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank