Behavioural reasoning for conditional equations (Q5430141): Difference between revisions

@@ Property / cites work @@
+Observational proofs by rewriting.
@@ Property / cites work: Observational proofs by rewriting. / rank @@
+Normal rank
@@ Property / cites work @@
+On behavioural abstraction and behavioural satisfaction in higher-order logic
+Normal rank
@@ Property / cites work @@
+Behavioural and abstractor specifications
@@ Property / cites work: Behavioural and abstractor specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural theories and the proof of behavioural properties
+Normal rank
@@ Property / cites work @@
+A hidden agenda
@@ Property / cites work: A hidden agenda / rank @@
+Normal rank
@@ Property / cites work @@
+Hidden coinduction:  behavioural correctness proofs for objects
+Normal rank
@@ Property / cites work @@
+A survey of abstract algebraic logic
@@ Property / cites work: A survey of abstract algebraic logic / rank @@
+Normal rank