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

@@ Property / cites work @@
+Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?
+Normal rank
@@ Property / cites work @@
+Mathematizing C++ concurrency
@@ Property / cites work: Mathematizing C++ concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Relaxed memory models
@@ Property / cites work: Relaxed memory models / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023279
@@ Property / cites work: Q4023279 / rank @@
+Normal rank
@@ Property / cites work @@
+Plan B
@@ Property / cites work: Plan B / rank @@
+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 @@
+Generative Operational Semantics for Relaxed Memory Models
+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 @@
+CakeML
@@ Property / cites work: CakeML / rank @@
+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. II
@@ Property / cites work: A calculus of mobile processes. II / 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