Structured development of a virtual shared memory system

DOI10.1007/BF01211051zbMath0843.68065OpenAlexW1985609535MaRDI QIDQ1911316

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)

Cites Work

• Unnamed Item
• An incremental specification of the sliding-window protocol
• Transaction processing primitives and CSP

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