Cache coherency in SCI: Specification and a sketch of correctness
type: Item
instance of: scholarly article
title: Cache coherency in SCI: Specification and a sketch of correctness
zbMATH Open document ID: 0953.68004
author: Frank Stomp
author: Amy P. Felty
published in: Formal Aspects of Computing
publication date: 2000-05-09T00:00:00Z
Mathematics Subject Classification ID: 68M10
Mathematics Subject Classification ID: 68M99
zbMATH DE Number: 1444101
zbMATH Keywords: scalable coherent interface
zbMATH Keywords: time temporal logic
MaRDI profile type: Publication
full work available at URL: s001650050055
OpenAlex ID: W2092823443
DOI: 10.1007/S001650050055
description: scientific article; zbMATH DE number 1444101