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

@@ 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.1007/s00165-007-0051-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2026662965
@@ Property / OpenAlex ID: W2026662965 / rank @@
+Normal rank
@@ 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