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

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-56610-4_67
+Normal rank
@@ Property / OpenAlex ID @@
+W1581632202
@@ Property / OpenAlex ID: W1581632202 / rank @@
+Normal rank
@@ 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