Semantics of interference control

DOI10.1016/0304-3975(82)90123-2MaRDI QIDQ759473zbMATH OpenOpenAlexFDO

Authors Robert D. Tennent

Publication date 1983

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(82)90123-2

zbMATH Keywords

denotational semantic modeldeterminacy of concurrent executionimplementation flexibilityprogram correctnesssyntactic control of interference

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

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.

Recommendations

• scientific article; zbMATH DE number 1231472
• Automata, Languages and Programming
• Syntactic control of interference revisited
• A syntactic theory of sequential control
• A model for syntactic control of interference

Cites work

• Edinburgh LCF. A mechanized logic of computation
• scientific article; zbMATH DE number 3722073 (Why is no real title available?)
• scientific article; zbMATH DE number 3725663 (Why is no real title available?)
• scientific article; zbMATH DE number 3748394 (Why is no real title available?)
• scientific article; zbMATH DE number 3793435 (Why is no real title available?)
• scientific article; zbMATH DE number 3490449 (Why is no real title available?)
• scientific article; zbMATH DE number 3557184 (Why is no real title available?)
• scientific article; zbMATH DE number 3448068 (Why is no real title available?)
• scientific article; zbMATH DE number 3351184 (Why is no real title available?)
• Locations considered unnecessary
• On the power of list iteration
• The programming language Pascal

Cited in

(2)

• The essence of parallel Algol.
• A model for syntactic control of interference

This page was built for publication: Semantics of interference control

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