Una comparación formal entre CCS y ACP
| Title | Una comparación formal entre CCS y ACP |
| Publication Type | Conference Paper |
| Year of Publication | 1994 |
| Authors | D'Argenio, PR, Echagüe, JV |
| Conference Name | Proc. of PANEL'94 - XX Conferencia Latinoamericana de Informática. México |
| Abstract | 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. |
PDF (Full text):
