================================================================================ P9321 N.J. Drost "Unification in an algebra with choice and action prefix" This paper contains a unification algorithm for a restricted process algebra with as only operators nondeterministic choice and unary action prefix-operators, and with infinite processes. Termination is ensured by using a modified version of a method for syntactic unification described in [Col84a] and [Col84b]. The algorithm contains a procedure to remove non-most general solutions. [Col84a] Colmerauer, A.: Equations et inequations sur les arbres finis et infinis. Internal Report, Groupe Intelligence Artificielle, Universite Aix-Marseille II. 1984 [Col84b] Colmerauer, A.: Equations and inequations on finite and infinite trees. Proc. of the Int. Conf. on Fifth Gen. Comp. Syst. 1984 ALSO APPEARED IN: @phdthesis{Dro94, author = {N.J. Drost}, year = 1994, month = feb, school = {University of Amsterdam}, title = {Process theory and equation solving} }