Toward a Formal Semantic Framework for Deterministic Parallel Programming (Q3095349): 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.1007/978-3-642-24100-0_43
+Normal rank
@@ Property / OpenAlex ID @@
+W1498246297
@@ Property / OpenAlex ID: W1498246297 / rank @@
+Normal rank
@@ Property / cites work @@
+Chaotic relaxation
@@ Property / cites work: Chaotic relaxation / rank @@
+Normal rank
@@ Property / cites work @@
+MULTILISP: a language for concurrent symbolic computation
+Normal rank
@@ Property / cites work @@
+Properties of a Model for Parallel Computations: Determinacy, Termination, Queueing
+Normal rank
@@ Property / cites work @@
+The Java memory model
@@ Property / cites work: The Java memory model / rank @@
+Normal rank
@@ Property / cites work @@
+The serializability of concurrent database updates
+Normal rank