Proving properties of real-time semaphores

DOI10.1016/0167-6423(94)00030-IMaRDI QIDQ1893540zbMATH OpenFDO

Authors David Scholefield

Publication date 2 January 1996

Published in Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

semaphoreconcurrent programming languagesreal-time distributed programs

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in artificial intelligence (68T27)

Recommendations

• Real-time semantics for shared-variable concurrency
• scientific article; zbMATH DE number 4084987
• Real-time programming
• scientific article; zbMATH DE number 3902019
• scientific article; zbMATH DE number 1049169

Cited in

(2)

• Extending MSVL with semaphore
• scientific article; zbMATH DE number 3924128 (Why is no real title available?)

This page was built for publication: Proving properties of real-time semaphores

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