rCOS: a refinement calculus of object systems (Q854169): Difference between revisions

@@ Property / author @@
-Zhi-Ming Liu
@@ Property / author: Zhi-Ming Liu / rank @@
-Normal rank
@@ Property / author @@
+Zhi-Ming Liu
@@ Property / author: Zhi-Ming Liu / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Circus
@@ Property / describes a project that uses: Circus / 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.tcs.2006.07.034
+Normal rank
@@ Property / OpenAlex ID @@
+W1998455310
@@ Property / OpenAlex ID: W1998455310 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738214
@@ Property / cites work: Q4738214 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about dynamically evolving process structures
+Normal rank
@@ Property / cites work @@
+Class refinement as semantics of correct object substitutability
+Normal rank
@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+An operational semantics for TOOPLE: A statically-typed object-oriented programming language
+Normal rank
@@ Property / cites work @@
+Q4493905
@@ Property / cites work: Q4493905 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional Reasoning for Pointer Structures
@@ Property / cites work: Compositional Reasoning for Pointer Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4851564
@@ Property / cites work: Q4851564 / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical Aspects of Computing – ICTAC 2005
@@ Property / cites work: Theoretical Aspects of Computing – ICTAC 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Laws of programming
@@ Property / cites work: Laws of programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767980
@@ Property / cites work: Q2767980 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845490
@@ Property / cites work: Q4845490 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4230924
@@ Property / cites work: Q4230924 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301161
@@ Property / cites work: Q4301161 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for Open Object-Based Distributed Systems
+Normal rank
@@ Property / cites work @@
+Q2764158
@@ Property / cites work: Q2764158 / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical Aspects of Computing - ICTAC 2004
@@ Property / cites work: Theoretical Aspects of Computing - ICTAC 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940107
@@ Property / cites work: Q4940107 / rank @@
+Normal rank
@@ Property / cites work @@
+Hoare logic for Java in Isabelle/HOL
@@ Property / cites work: Hoare logic for Java in Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+π-Calculus semantics of object-oriented programming languages
+Normal rank
@@ Property / cites work @@
+Theoretical Aspects of Computing - ICTAC 2004
@@ Property / cites work: Theoretical Aspects of Computing - ICTAC 2004 / rank @@
+Normal rank