Servicios Personalizados
Revista
Articulo
Indicadores
- Citado por SciELO
- Accesos
Links relacionados
- Citado por Google
- Similares en SciELO
- Similares en Google
Compartir
Ingeniería y competitividad
versión impresa ISSN 0123-3033
Resumen
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
Palabras clave : Expresividad; divergencia; convergencia; cálculos de procesos.