On the existence and decidability of unique decompositions of processes in the applied π-calculus
Keywords: نظریه معادلات; Applied π-calculus; Unique decomposition; Normal form; Weak bisimilarity; Strong bisimilarity; Cancellation; Decidability; Equational theory; Word problem; Process calculus; Behavioral equivalence