Universal extensions to simulate specifications (Q2475808): Difference between revisions

@@ Property / describes a project that uses @@
+PVS
@@ Property / describes a project that uses: PVS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1984877860
@@ Property / OpenAlex ID: W1984877860 / 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 @@
+Liveness-preserving simulation relations
@@ Property / cites work: Liveness-preserving simulation relations / rank @@
+Normal rank
@@ Property / cites work @@
+Three logics for branching bisimulation
@@ Property / cites work: Three logics for branching bisimulation / 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 @@
+Eternity variables to prove simulation of specifications
+Normal rank
@@ Property / cites work @@
+Refinement verification of the lazy caching algorithm
+Normal rank
@@ Property / cites work @@
+Splitting forward simulations to cope with liveness
+Normal rank
@@ Property / cites work @@
+A criterion for atomicity revisited
@@ Property / cites work: A criterion for atomicity revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q5137884
@@ Property / cites work: Q5137884 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5137886
@@ Property / cites work: Q5137886 / rank @@
+Normal rank
@@ Property / cites work @@
+Forward and backward simulations. I. Untimed Systems
+Normal rank
@@ Property / cites work @@
+Correct Hardware Design and Verification Methods
@@ Property / cites work: Correct Hardware Design and Verification Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+Normal rank