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

Tatsuya Abe, Toshiyuki Maeda

Open Access

https://doi.org/10.2197/ipsjjip.25.244

Copy DOI

Journal: Journal of Information Processing	Publication Date: Jan 1, 2017
Citations: 6	License type: free

Abstract

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

Full Text

Published version (

Free)

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Paper Title

Journal

Date

Author