Constraining interference in an object-based design method (Q5044731): Difference between revisions

@@ Property / describes a project that uses @@
+ABCL
@@ Property / describes a project that uses: ABCL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+mural
@@ Property / describes a project that uses: mural / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BETA
@@ Property / describes a project that uses: BETA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LARCH
@@ Property / describes a project that uses: LARCH / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UNITY
@@ Property / describes a project that uses: UNITY / 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.1007/3-540-56610-4_61
+Normal rank
@@ Property / OpenAlex ID @@
+W1036874709
@@ Property / OpenAlex ID: W1036874709 / rank @@
+Normal rank
@@ Property / cites work @@
+Issues in the design of a parallel object-oriented language
+Normal rank
@@ Property / cites work @@
+A layered semantics for a parallel object-oriented language
+Normal rank
@@ Property / cites work @@
+Algebraic methods II: theory, tools and applications
+Normal rank
@@ Property / cites work @@
+Q3997397
@@ Property / cites work: Q3997397 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282672
@@ Property / cites work: Q4282672 / rank @@
+Normal rank
@@ Property / cites work @@
+Laws of programming
@@ Property / cites work: Laws of programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002148
@@ Property / cites work: Q4002148 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997074
@@ Property / cites work: Q3997074 / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction
@@ Property / cites work: Reduction / rank @@
+Normal rank
@@ Property / cites work @@
+VDM '91. Formal software development methods. Vol. 1: Conference contributions. 4th international symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Proceedings
+Normal rank
@@ Property / cites work @@
+Q3819969
@@ Property / cites work: Q3819969 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5044731