Observational Refinement Process (Q5403465): Difference between revisions

@@ Property / author @@
+Alexandre Madeira
@@ Property / author: Alexandre Madeira / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2008.06.006
+Normal rank
@@ Property / OpenAlex ID @@
+W2031740403
@@ Property / OpenAlex ID: W2031740403 / rank @@
+Normal rank
@@ 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