Axiomatic treatment of processes with shared variables revisited (Q1194205): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Proving assertions about parallel programs
@@ Property / cites work: Proving assertions about parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4054644
@@ Property / cites work: Q4054644 / rank @@
+Normal rank
@@ Property / cites work @@
+Adequate proof principles for invariance and liveness properties of concurrent programs
+Normal rank
@@ Property / cites work @@
+Partial correctness of exits from concurrent structures
+Normal rank
@@ Property / cites work @@
+Proving Liveness Properties of Concurrent Programs
+Normal rank
@@ Property / cites work @@
+A proof technique for parallel programs
@@ Property / cites work: A proof technique for parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of Owicki-Gries's Hoare logic for a concurrent while language
+Normal rank