Full Abstraction Without Synchronization Primitives (Q3178268): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2010.08.025
+Normal rank
@@ Property / OpenAlex ID @@
+W2153166150
@@ Property / OpenAlex ID: W2153166150 / rank @@
+Normal rank
@@ Property / cites work @@
+The essence of parallel Algol.
@@ Property / cites work: The essence of parallel Algol. / rank @@
+Normal rank
@@ Property / cites work @@
+Q5563096
@@ Property / cites work: Q5563096 / rank @@
+Normal rank
@@ Property / cites work @@
+Angelic semantics of fine-grained concurrency
@@ Property / cites work: Angelic semantics of fine-grained concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+A Game Semantics of Idealized CSP
@@ Property / cites work: A Game Semantics of Idealized CSP / rank @@
+Normal rank
@@ Property / cites work @@
+A new solution of Dijkstra's concurrent programming problem
+Normal rank
@@ Property / cites work @@
+On the semantics of the bad-variable constructor in Algol-like languages
+Normal rank
@@ Property / cites work @@
+Bad Variables Under Control
@@ Property / cites work: Bad Variables Under Control / rank @@
+Normal rank
@@ Property / cites work @@
+Myths about the mutual exclusion problem
@@ Property / cites work: Myths about the mutual exclusion problem / rank @@
+Normal rank