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

@@ Property / describes a project that uses @@
+UNITY
@@ Property / describes a project that uses: UNITY / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00236-006-0020-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2012041760
@@ Property / OpenAlex ID: W2012041760 / rank @@
+Normal rank
@@ 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