scientific article; zbMATH DE number 7281350

zbMath1448.68101MaRDI QIDQ5137877

Rob Gerth

Publication date: 3 December 2020

Full work available at URL: https://link.springer.com/article/10.1007/s004460050057

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

sequential consistencyweak memory modelscache coherencyparallel program verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14) Distributed algorithms (68W15)

Related Items (1)

Leveraging access mode declarations in a model for memory consistency in heterogeneous systems

This page was built for publication: