Observational Refinement Process (Q5403465): Difference between revisions

@@ Property / cites work @@
+Behavioural theories and the proof of behavioural properties
+Normal rank
@@ Property / cites work @@
+Proving Behavioral Refinements of COL-specifications
+Normal rank
@@ Property / cites work @@
+Observational logic, constructor-based logic, and their duality.
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic semantics for deductive systems
@@ Property / cites work: Algebraic semantics for deductive systems / rank @@
+Normal rank
@@ Property / cites work @@
+Observational proofs by rewriting.
@@ Property / cites work: Observational proofs by rewriting. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520814
@@ Property / cites work: Q4520814 / rank @@
+Normal rank
@@ Property / cites work @@
+Conservative translations
@@ Property / cites work: Conservative translations / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Hidden coinduction:  behavioural correctness proofs for objects
+Normal rank
@@ Property / cites work @@
+A hidden agenda
@@ Property / cites work: A hidden agenda / rank @@
+Normal rank
@@ Property / cites work @@
+Q4493908
@@ Property / cites work: Q4493908 / rank @@
+Normal rank
@@ Property / cites work @@
+Closure properties for the class of behavioral models
+Normal rank
@@ Property / cites work @@
+Behavioural reasoning for conditional equations
@@ Property / cites work: Behavioural reasoning for conditional equations / rank @@
+Normal rank
@@ Property / cites work @@
+Swinging types=functions+relations+transition systems
+Normal rank
@@ Property / cites work @@
+Q2723910
@@ Property / cites work: Q2723910 / rank @@
+Normal rank
@@ Property / cites work @@
+Essential concepts of algebraic specification and program development
+Normal rank
@@ Property / cites work @@
+Foundations of algebraic specification and formal software development.
+Normal rank