Livelocks in parallel programs

DOI10.1080/00207168208803283zbMath0488.68018OpenAlexW4237707358MaRDI QIDQ5905142

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

verificationcorrectnessreductiondeadlockwell-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