A Single Complete Relational Rule for Coalgebraic Refinement (Q2994487): Difference between revisions

@@ Property / describes a project that uses @@
+CCSL
@@ Property / describes a project that uses: CCSL / 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.2009.12.014
+Normal rank
@@ Property / OpenAlex ID @@
+W2137477976
@@ Property / OpenAlex ID: W2137477976 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4680360
@@ Property / cites work: Q4680360 / rank @@
+Normal rank
@@ Property / cites work @@
+Safety of abstract interpretations for free, via logical relations and Galois connections
+Normal rank
@@ Property / cites work @@
+Q4762665
@@ Property / cites work: Q4762665 / rank @@
+Normal rank
@@ Property / cites work @@
+Transposing partial components--an exercise on coalgebraic refinement
+Normal rank
@@ Property / cites work @@
+Q4331824
@@ Property / cites work: Q4331824 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844822
@@ Property / cites work: Q2844822 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494250
@@ Property / cites work: Q4494250 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational concurrent refinement
@@ Property / cites work: Relational concurrent refinement / 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 @@
+Q2844821
@@ Property / cites work: Q2844821 / rank @@
+Normal rank
@@ Property / cites work @@
+Object-oriented hybrid systems of coalgebras plus monoid actions
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738115
@@ Property / cites work: Q4738115 / 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 @@
+Components as coalgebras: the refinement dimension
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic logic
@@ Property / cites work: Coalgebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics of Program Construction
@@ Property / cites work: Mathematics of Program Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222954
@@ Property / cites work: Q4222954 / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to object semantics based on terminal co-algebras
+Normal rank
@@ Property / cites work @@
+Q2709810
@@ Property / cites work: Q2709810 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251915
@@ Property / cites work: Q4251915 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+On the foundations of final coalgebra semantics: non-well-founded  sets,  partial orders, metric spaces
+Normal rank
@@ Property / cites work @@
+Q4256311
@@ Property / cites work: Q4256311 / rank @@
+Normal rank