Application of the composition principle to unity-like specifications (Q5044739): Difference between revisions

@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3359774
@@ Property / cites work: Q3359774 / rank @@
+Normal rank
@@ Property / cites work @@
+Tentative steps toward a development method for interfering programs
+Normal rank
@@ Property / cites work @@
+Q4733399
@@ Property / cites work: Q4733399 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of Networks of Processes
@@ Property / cites work: Proofs of Networks of Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Specifying concurrent objects as communicating processes
+Normal rank
@@ Property / cites work @@
+Specification of concurrent objects using auxiliary variables
+Normal rank
@@ Property / cites work @@
+Proving entailment between conceptual state specifications
+Normal rank