Livelocks in parallel programs (Q5904921): Difference between revisions

@@ 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.1080/00207168108803275
+Normal rank
@@ Property / OpenAlex ID @@
+W2064074534
@@ Property / OpenAlex ID: W2064074534 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q126245983
@@ Property / Wikidata QID: Q126245983 / 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 @@
+Comments on prevention of system deadlocks
@@ Property / cites work: Comments on prevention of system deadlocks / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel program schemata
@@ Property / cites work: Parallel program schemata / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel Program Schemata and Maximal Parallelism I. Fundamental Results
+Normal rank
@@ Property / cites work @@
+Formal verification of parallel programs
@@ Property / cites work: Formal verification of parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+Proving the Correctness of Multiprocess Programs
@@ Property / cites work: Proving the Correctness of Multiprocess Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Formal derivation of strongly correct concurrent programs
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5904921