Detection and resolution of deadlocks in concurrent processes using process algebra

• Main Author: Chua, Caslon L.
• Format: text
• Language: English
• Published: Animo Repository 1993
• Subjects: Algorithms; Electronic data processing > Distributed processing; Programming (Mathematics); Simulation methods; Algebra; Databases and Information Systems; Graphics and Human Computer Interfaces; Numerical Analysis and Scientific Computing; Programming Languages and Compilers
• Online Access: https://animorepository.dlsu.edu.ph/etd_masteral/1501; https://animorepository.dlsu.edu.ph/cgi/viewcontent.cgi?article=8339&context=etd_masteral
• Institution: De La Salle University

The proponent extends Process Algebra (PA) in terms of its components and how it is constructed. This algebra allows an expression to contain a set of finite operands known as atomic actions and a finite set of operators which individually denote either a sequential or an alternate composition. Both...