logic | STAIR: Software Technology and Artificial Intelligence Research Laboratory

tag: logic

2017.02.15
Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations

logic, program logic, memory consistency models
2016.10.09
Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models

logic, program logic, memory consistency models