A wide-spectrum language for verification of programs on weak memory models (Q2024349): Difference between revisions

@@ Property / arXiv ID @@
+.04406
@@ Property / arXiv ID: 1802.04406 / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+A wide-spectrum language for verification of programs on weak memory models
+Normal rank
@@ Property / cites work @@
+Q4301161
@@ Property / cites work: Q4301161 / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting logic
+Normal rank
@@ Property / cites work @@
+A promising semantics for relaxed-memory concurrency
+Normal rank
@@ Property / cites work @@
+Tentative steps toward a development method for interfering programs
+Normal rank
@@ Property / cites work @@
+An algebra of synchronous atomic steps
@@ Property / cites work: An algebra of synchronous atomic steps / rank @@
+Normal rank
@@ Property / cites work @@
+Designing a semantic model for a wide-spectrum language with concurrency
+Normal rank
@@ Property / cites work @@
+The specification statement
@@ Property / cites work: The specification statement / rank @@
+Normal rank