Deriving a distributed deadlock detection algorithm from knowledge transitions

• Main Author: Lapitan, Mario Lelina
• Format: text
• Language: English
• Published: Animo Repository 1999
• Subjects: Computer algorithms; Distributed operating systems (Computers); Programming (Electronic computers); Computer Sciences
• Online Access: https://animorepository.dlsu.edu.ph/etd_masteral/2039
• Institution: De La Salle University

This study is concerned with the derivation of a deadlock detection algorithm for distributed systems from a knowledge-base logic called knowledge transitions. It starts with discussions concerning deadlock and the problem of detecting deadlock in distributed systems. This is followed by a review of...