Specification-based Verification in a Distributed Shared Memory Simulation Model

Worawan Marurngsith, Roland N. Ibbett. Specification-based Verification in a Distributed Shared Memory Simulation Model. Simulation, 86(4):229-245, 2010. [doi]

Abstract

Abstract is missing.