Global Renaming Operators in Concrete Process Algebra

Jos C. M. Baeten, Jan A. Bergstra. Global Renaming Operators in Concrete Process Algebra. Inf. Comput., 78(3):205-245, September 1988.

Abstract

Abstract is missing.