S. Takata

Implementation and Formal Specification of Release Consistency Models

Akira Fukuda, Kazuki Joe, Kenji Taguchi, 1999 .

Specification and Verification of Memory Consistency Models for Shared-Memory Multiprocessor Systems

Akira Fukuda, Kazuki Joe, Kenji Taguchi, 1999 .

DEMONSTRATION REPORT

S. Takata, J. Flemmer, C. Nycum, 2011 .