Semantic inheritance in unifying theories of programming (Q1941890): Difference between revisions

@@ Property / cites work @@
+Generic composition
@@ Property / cites work: Generic composition / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchical Organisation of Predicate-Semantic Models
+Normal rank
@@ Property / cites work @@
+Inheriting Laws for Processes with States
@@ Property / cites work: Inheriting Laws for Processes with States / rank @@
+Normal rank
@@ Property / cites work @@
+Laws of programming
@@ Property / cites work: Laws of programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic models for the guarded command language
+Normal rank
@@ Property / cites work @@
+Parallel constructions of maximal path sets and applications to short superstrings
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank