Semantics of interference control

DOI10.1016/0304-3975(82)90123-2zbMATH Open0553.68004OpenAlexW2085787139MaRDI QIDQ759473FDOQ759473

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

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

zbMATH Keywords

program correctnessdenotational semantic modeldeterminacy of concurrent executionimplementation flexibilitysyntactic control of interference

Mathematics Subject Classification ID

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

Cites Work

• Edinburgh LCF. A mechanized logic of computation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Locations considered unnecessary
• Title not available (Why is that?)
• The programming language Pascal
• On the power of list iteration
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)