Semantics of interference control

DOI10.1016/0304-3975(82)90123-2zbMath0553.68004OpenAlexW2085787139MaRDI QIDQ759473

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

program correctnessdenotational semantic modeldeterminacy of concurrent executionimplementation flexibilitysyntactic control of interference

Mathematics Subject Classification ID

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

Related Items (2)

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

Cites Work

• Locations considered unnecessary
• Edinburgh LCF. A mechanized logic of computation
• The programming language Pascal
• On the power of list iteration
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Semantics of interference control