Una comparación formal entre CCS y ACP

PEDRO R. D'ARGENIO; JUAN V. ECHAGÜE

México

Conferencia; PANEL'94 - XX Conferencia Latinoamericana de Informática; 1994

This article presents a formal relation between the Robin Milner's CCS calculus and the process algebras (ACP) mainly due to J.Bergstra and J.W. Klop. Such a relation is given by a compositional function which maps CCS terms onto ACP terms. From this function we state several relations between the transition system of terms in both theories. We also find certain semantic relation between the set of terms. Finally we conclude that the equational theory is, in a certain manner, a conservative extension of the equational theory of CCS in the framework of finite processes.