Temporal-logic property preservation under Z refinement (Q1941860): Difference between revisions

@@ Property / cites work @@
+The B-Book
@@ Property / cites work: The B-Book / rank @@
+Normal rank
@@ Property / cites work @@
+A singleton failures semantics for communicating sequential processes
+Normal rank
@@ Property / cites work @@
+Q2760241
@@ Property / cites work: Q2760241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2724177
@@ Property / cites work: Q2724177 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational concurrent refinement
@@ Property / cites work: Relational concurrent refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Extensional equivalences for transition systems
@@ Property / cites work: Extensional equivalences for transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Data Refinement
@@ Property / cites work: Data Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4436980
@@ Property / cites work: Q4436980 / rank @@
+Normal rank
@@ Property / cites work @@
+A single complete rule for data refinement
@@ Property / cites work: A single complete rule for data refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Prespecification in data refinement
@@ Property / cites work: Prespecification in data refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763694
@@ Property / cites work: Q2763694 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997074
@@ Property / cites work: Q3997074 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4805348
@@ Property / cites work: Q4805348 / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Property preserving abstractions for the verification of concurrent systems
+Normal rank
@@ Property / cites work @@
+Q2763965
@@ Property / cites work: Q2763965 / rank @@
+Normal rank
@@ Property / cites work @@
+Forward and backward simulations. I. Untimed Systems
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Myths about the mutual exclusion problem
@@ Property / cites work: Myths about the mutual exclusion problem / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Methodology and Software Technology
@@ Property / cites work: Algebraic Methodology and Software Technology / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940107
@@ Property / cites work: Q4940107 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4436972
@@ Property / cites work: Q4436972 / rank @@
+Normal rank
@@ Property / cites work @@
+ZB 2005: Formal Specification and Development in Z and B
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301167
@@ Property / cites work: Q4301167 / rank @@
+Normal rank