Splitting forward simulations to cope with liveness (Q2491215): 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 @@
+Q3713577
@@ Property / cites work: Q3713577 / rank @@
+Normal rank
@@ Property / cites work @@
+Deadlock and fairness in morphisms of transition systems
+Normal rank
@@ Property / cites work @@
+Q4808690
@@ Property / cites work: Q4808690 / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement verification of the lazy caching algorithm
+Normal rank
@@ Property / cites work @@
+Using eternity variables to specify and prove a serializable database interface
+Normal rank
@@ Property / cites work @@
+How to Write a Proof
@@ Property / cites work: How to Write a Proof / rank @@
+Normal rank
@@ Property / cites work @@
+Forward and backward simulations. I. Untimed Systems
+Normal rank