Semantics of interference control
type: Item
instance of: scholarly article
title: Semantics of interference control
zbMATH Open document ID: 0553.68004
DOI: 10.1016/0304-3975(82)90123-2
published in: Theoretical Computer Science
publication date: 1983-01-01T00:00:00Z
review text: An approach to syntactic control of interference described by \textit{J. C. Reynolds} [Conf. Rec. 5th ACM Symp. Princ. Programming Lang., 39-46 (1978)] is shown to be sound using a denotational semantic model.
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 3881853
zbMATH Keywords: implementation flexibility
zbMATH Keywords: determinacy of concurrent execution
zbMATH Keywords: program correctness
zbMATH Keywords: syntactic control of interference
zbMATH Keywords: denotational semantic model
author: Robert D. Tennent
MaRDI profile type: Publication
full work available at URL: 0304-3975(82)90123-2
OpenAlex ID: W2085787139
cites work: Locations considered unnecessary
cites work: Q3911367
cites work: On the power of list iteration
cites work: Edinburgh LCF. A mechanized logic of computation
cites work: Q5626277
cites work: Q4772697
cites work: Q4133080
cites work: Q4072829
cites work: Q3932278
cites work: Q3969890
cites work: Q3914393
cites work: The programming language Pascal
description: scientific article; zbMATH DE number 3881853