Distributed Shared Memory Consistency Models: Specification and Verification of DSM Consistency Models using CADP

الوصف

Distributed Shared Memory Consistency Models: Specification and Verification of DSM Consistency Models using CADP