Monitoring for Deadlock and Blocking in Ada Tasking

DOI10.1109/TSE.1984.5010305zbMath0553.68021MaRDI QIDQ3216131

Steven M. German

Publication date: 1984

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

zbMATH Keywords

program transformationsconcurrent algorithmsdeadlock detectionconcurrent programming languagescorrectness proofs of concurrent programssemantics of Ada tasking

Mathematics Subject Classification ID

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

Uses Software

• Unnamed Item

This page was built for publication: Monitoring for Deadlock and Blocking in Ada Tasking