„linearizability“
Suchergebnisse
1.000+ Treffer
-
A compositional proof method for linearizability applied to a wait-free multiset
-
An execution trace verification method on linearizability
-
Compositional Concurrent Program Verification with RGITL
-
Symmetric Integrability and Linearizability of Weak Saddles in Planar Cubic Differential Systems
-
Proving linearizability with temporal logic
-
Local rely-guarantee conditions for linearizability and lock-freedom
-
Strong Linearizability Without Compare&Swap: The Case of Bags
-
Brief Announcement: Time, Fences and the Ordering of Events in TSO
-
Proving linearizability of multiset with local proof obligations
-
Relaxed Queues and Stacks from Read/Write Operations
-
Embedding Rely-Guarantee Reasoning in Temporal Logic
-
Proving Linearizability with Temporal Logic
-
Verifying Linearizability and Lock-Freedom with Temporal Logic
-
Brief Announcement: Concurrent Aggregate Queries
-
Communication Requirements for Linearizable Registers
-
Hyperproperty-Preserving Register Specifications
-
Verifying Lock-Free Search Structure Templates
-
Strongly Linearizable Linked List and Queue
-
Verifying Lock-Free Search Structure Templates (Artifact)
-
Atomic Register Abstractions for Byzantine-Prone Distributed Systems