Comparing the Expressiveness of the π-calculus and CCS

Rob van Glabbeek. Comparing the Expressiveness of the π-calculus and CCS. ACM Trans. Comput. Log., 25(1), January 2024. [doi]

Abstract

Abstract is missing.