Operational semantics of a weak memory model with channel synchronization (Q5918263): Difference between revisions

@@ Property / OpenAlex ID @@
+W2809069524
@@ Property / OpenAlex ID: W2809069524 / rank @@
+Normal rank
@@ Property / cites work @@
+Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?
+Normal rank
@@ Property / cites work @@
+Relaxed memory models
@@ Property / cites work: Relaxed memory models / rank @@
+Normal rank
@@ Property / cites work @@
+Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
+Normal rank
@@ Property / cites work @@
+Plan B
@@ Property / cites work: Plan B / rank @@
+Normal rank
@@ Property / cites work @@
+Operational semantics of a weak memory model with channel synchronization
+Normal rank
@@ Property / cites work @@
+Software Transactional Memory on Relaxed Memory Models
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994745
@@ Property / cites work: Q3994745 / rank @@
+Normal rank
@@ Property / cites work @@
+A promising semantics for relaxed-memory concurrency
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+Normal rank
@@ Property / cites work @@
+How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
+Normal rank
@@ Property / cites work @@
+Fencing off go: liveness and safety for channel-based programming
+Normal rank
@@ Property / cites work @@
+The Java memory model
@@ Property / cites work: The Java memory model / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Is It a “Good” Encoding of Mixed Choice?
@@ Property / cites work: Is It a “Good” Encoding of Mixed Choice? / rank @@
+Normal rank
@@ Property / cites work @@
+A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions
+Normal rank
@@ Property / cites work @@
+An overview of the K semantic framework
@@ Property / cites work: An overview of the K semantic framework / rank @@
+Normal rank
@@ Property / cites work @@
+A small-step semantics of a concurrent calculus with Goroutines and deferred functions
+Normal rank
@@ Property / cites work @@
+An operational happens-before memory model
@@ Property / cites work: An operational happens-before memory model / rank @@
+Normal rank