An Operational Approach to Library Abstraction under Relaxed Memory Concurrency

Keyphrases

• Operational Approach 100%
• Relaxed Memory Concurrency 100%
• Library Abstraction 100%
• Execution Trace 50%
• Totally Ordered 50%
• Synchronization Algorithm 50%
• Memory Models 50%
• Software Development 50%
• Concurrent Data Structures 50%
• Correctness Condition 50%
• Access Mode 50%
• Weak Memory 50%
• Program Behavior 50%
• Shared Memory Concurrency 50%
• Knowledge Propagation 50%
• Data Synchronization 50%
• Modular Software 50%

Computer Science

• Concurrency 100%
• Data Structure 50%
• Software Development 50%
• Execution Trace 50%
• Fundamental Problem 50%
• Memory Model 50%
• Synchronization Mechanism 50%