Detection and resolution of deadlocks in concurrent processes using process algebra

• المؤلف الرئيسي: Chua, Caslon L.
• التنسيق: text
• اللغة: English
• منشور في: Animo Repository 1993
• الموضوعات: 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
• الوصول للمادة أونلاين: https://animorepository.dlsu.edu.ph/etd_masteral/1501; https://animorepository.dlsu.edu.ph/cgi/viewcontent.cgi?article=8339&context=etd_masteral

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