Structured development of a virtual shared memory system

DOI10.1007/BF01211051MaRDI QIDQ1911316zbMATH OpenOpenAlexFDO

Authors Karen Seidel, Paul H. B. Gardiner

Publication date 21 April 1996

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01211051

zbMATH Keywords

interconnection networkvirtual shared memory system

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A specification and verification framework for developing weak shared memory consistency protocols
• Relationships between memory models
• Verifying sequential consistency on shared-memory multiprocessor systems
• A unified theory of shared memory consistency
• Causal memory: definitions, implementation, and programming

Cites work

• An incremental specification of the sliding-window protocol
• scientific article; zbMATH DE number 43208 (Why is no real title available?)
• Transaction processing primitives and CSP

Cited in

(1)

• Relationships between memory models

This page was built for publication: Structured development of a virtual shared memory system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1911316)