Livelocks in parallel programs

DOI10.1080/00207168208803283MaRDI QIDQ5905142zbMATH OpenOpenAlexFDO

Authors Y. S. Kwong

Publication date 1982

Published in International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00207168208803283

zbMATH Keywords

verificationreductioncorrectnessdeadlockwell-founded set

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Cites work

• Correctness of parallel programs: The Church-Rosser approach
• On reduction of asynchronous systems
• Reduction

This page was built for publication: Livelocks in parallel programs

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