Towards formally specifying and verifying transactional memory (Q470040): Difference between revisions

@@ Property / describes a project that uses @@
+NOrec
@@ Property / describes a project that uses: NOrec / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-012-0225-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2035134754
@@ Property / OpenAlex ID: W2035134754 / rank @@
+Normal rank
@@ Property / cites work @@
+The serializability of concurrent database updates
+Normal rank
@@ Property / cites work @@
+Q2863833
@@ Property / cites work: Q2863833 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems – FORTE 2004
+Normal rank
@@ Property / cites work @@
+Towards formally specifying and verifying transactional memory
+Normal rank
@@ Property / cites work @@
+Nonblocking Algorithms and Backward Simulation
@@ Property / cites work: Nonblocking Algorithms and Backward Simulation / rank @@
+Normal rank
@@ Property / cites work @@
+Nested transactional memory: Model and architecture sketches
+Normal rank
@@ Property / cites work @@
+An axiomatic proof technique for parallel programs
+Normal rank
@@ Property / cites work @@
+Completeness and Nondeterminism in Model Checking Transactional Memories
+Normal rank
@@ Property / cites work @@
+Software Transactional Memory on Relaxed Memory Models
+Normal rank
@@ Property / cites work @@
+Transactional Memory: Glimmer of a Theory
@@ Property / cites work: Transactional Memory: Glimmer of a Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Forward and backward simulations. I. Untimed Systems
+Normal rank
@@ Property / cites work @@
+Q3833630
@@ Property / cites work: Q3833630 / rank @@
+Normal rank
@@ Property / cites work @@
+High-level small-step operational semantics for transactions
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:470040