Resumo

ARANDA B., Jesús A.. Sobre la decidibilidad de dos fragmentos del p-cálculo asincrónico. Ing. compet. [online]. 2013, vol.15, n.2, pp.137-149. ISSN 0123-3033.

En (Cacciagrano, et al., 2008) se estudió la expresividad de la persistencia en el p-cálculo asincrónico, Ap. En dicho artículo, los autores consideraron Ap y tres de sus fragmentos, cada uno de ellos capturando una fuente de persistencia: el fragmento con entradas persistentes (PIAp), el fragmento con salidas persistentes (POAp), y el fragmento con tanto entradas como salidas persistentes (PAp). Ellos demostraron que, bajo ciertas condiciones generales, no puede existir una codificación desde Ap en alguno de sus fragmentos preservando la semántica musttesting, unaántica sensible a la divergencia. En este artículo se ratifican y fortalecen los resultados de separación de (Cacciagrano, et al., 2008) mostrando que tanto convergencia como divergencia son propiedades decidibles en un fragmento significativo de POAp y en PAp., a diferencia de lo que sucede en Ap. Así, se establece formalmente la no existencia de una codificación (decidable) de Ap en PAp o en el fragmento de POAp, preservando divergencia y convergencia. Estos resultados de separación no requieren de ninguna condición específica sobre las codificaciones e involucran directamente convergencia por primera vez en el estudio de la persistencia de Ap

Palavras-chave : Expresividad; divergencia; convergencia; cálculos de procesos.

        · resumo em Inglês     · texto em Inglês     · Inglês ( pdf )