SciELO - Scientific Electronic Library Online

 
vol.15 número2Three-Step method to tightly integrate data mining tasks into a relational database systemEvaluation of disparity maps índice de autoresíndice de assuntospesquisa de artigos
Home Pagelista alfabética de periódicos  

Serviços Personalizados

Artigo

Indicadores

Links relacionados

  • Em processo de indexaçãoCitado por Google
  • Não possue artigos similaresSimilares em SciELO
  • Em processo de indexaçãoSimilares em Google

Compartilhar


Ingeniería y competitividad

versão impressa ISSN 0123-3033

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 )