An explanatory presentation of composition rules for assumption- commitment specifications (Q1321833): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0020-0190(94)90041-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2074882845
@@ Property / OpenAlex ID: W2074882845 / rank @@
+Normal rank
@@ Property / cites work @@
+A logical view of composition
@@ Property / cites work: A logical view of composition / rank @@
+Normal rank
@@ Property / cites work @@
+Tentative steps toward a development method for interfering programs
+Normal rank
@@ Property / cites work @@
+Proofs of Networks of Processes
@@ Property / cites work: Proofs of Networks of Processes / rank @@
+Normal rank
@@ Property / cites work @@
+P-A logic - a compositional proof system for distributed programs
+Normal rank
@@ Property / cites work @@
+Q3700812
@@ Property / cites work: Q3700812 / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of Owicki-Gries's Hoare logic for a concurrent while language
+Normal rank