Tag: logic
Showing 2 posts
-
Publications 2017.02.15
Publications 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
Tatsuya Abe and Toshiyuki Maeda. Concurrent program logic for relaxed memory consistency models with dependenc... -
Publications 2016.10.09
Publications 2016.10.09
Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models
Tatsuya Abe and Toshiyuki Maeda. Observation-based concurrent program logic for relaxed memory consistency mod...