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

@@ 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