Thesis icon

Thesis

Deadlock and deadlock freedom

Abstract:

We introduce a number of techniques for establishing the deadlock freedom of concurrent systems. Our methods are based on the local analysis (or at worst a directed global analysis) of networks. We identify the relationships between these techniques and the range of their application within a framework of deadlock freedom types that we have defined. We also show that the problem of proving total correctness may be translated to one of proving deadlock freedom, with the consequence that our...

Expand abstract
Peer review status:
Peer Reviewed

Actions


Access Document


Files:

Authors


More by this author
Department:
University of Oxford
This thesis was digitised thanks to the generosity of Dr Leonard Polonsky More from this funder
Publication date:
1989
Type of award:
DPhil
Level of award:
Doctoral
Awarding institution:
University of Oxford
Local pid:
polonsky:4:12

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP