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
• 機構: 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...