Universidad del ValleDivisión de Bibliotecas / Universidad del Valle / Cali, Colombia
  • Directorio
  • Correo
  • Biblioteca
  • Atención al ciudadano
  • Mapa del sitio
  • English version
  • Inicio
  • La Universidad
    • Consejo Superior
    • Consejo Académico
    • Rectoría
      • La rectoría
        • Discursos del rector
        • Informes de Gestión
        • Informes del Rector al Consejo Superior
        • Rectores de la Universidad del Valle
        • Resoluciones de rectoría
      • Secretaria General
      • Direccion de Regionalización
      • Oficina de Control Interno
        • Introducción
        • ¿Qué es la oficina de Control Interno?
        • Comité de coordinación
        • Funcionarios
        • Normas que nos rigen
        • Informes de Control Interno
        • Entes Reguladores
      • Oficina de Planeación y Desarrollo Institucional
      • Oficina de Informática y Telecomunicaciones
      • Oficina Jurídica
      • Oficina de Comunicaciones
        • Introducción
        • Agencia de Noticias
        • Ceremonia de grados
    • Nuestros Símbolos
      • Himno
      • Logosímbolo
      • Bandera
      • Manual de Identidad Visual Corporativa
      • Normas de Diseño de Páginas Web
    • Acerca de Univalle
      • Misión
      • Visión
      • Organigrama
      • Nombre
      • Rectores
      • Administración central
      • Ubicación
      • Convenios
      • Estados financieros
      • Potencial Investigativo
      • Instituciones Relacionadas
      • Entes de Control
      • Video Institucional
    • Dependencias
      • Vicerrectorías
        • Académica
        • Administrativa
        • Bienestar Universitario
        • Investigaciones
        • Vicerrectoría Académica
      • Facultades
        • Artes Integradas
        • Ciencias Naturales y Exactas
        • Ciencias de la Administración
        • Salud
        • Ciencias Sociales y Económicas
        • Humanidades
        • Ingeniería
      • Institutos
        • Educación y Pedagogía
        • Psicología
      • Escuelas
        • Arquitectura
        • Ciencias Básicas
        • Comunicación social
        • Bacteriología y Laboratorio Clínico
        • Ciencias del Lenguaje
        • Comunicación social
        • Enfermería
        • Estadística
        • Estudios Literarios
        • Ingeniería Civil y Geomática
        • Ingeniería de Alimentos
        • Ingeniería de Materiales
        • Ingeniería de Recursos Naturales y del Ambiente
        • Ingeniería de Sistemas y Computación
        • Ingeniería Eléctrica y Electrónica
        • Ingeniería Industrial
        • Ingeniería Mecánica
        • Ingeniería Química
        • Medicina
        • Odontología
        • Música
        • Rehabilitación Humana
        • Salud Pública
        • Trabajo Social y Desarrollo Humano
      • Departamentos
        • Artes Escénicas
        • Artes Visuales y Estética
        • Biología
        • Ciencias Sociales
        • Diseño
        • Dirección y Gestión Administrativa
        • Economía
        • Filosofía
        • Física
        • Geografía
        • Historia
        • Matemáticas
        • Medicina Interna
        • Procesos, Información, Contabilidad y Finanzas
        • Química
    • Museos y Colecciones
      • Museo Arqueológico
      • Insectario: Colección de Entomología
      • Herbario CUVC
      • Colección de Zoología
      • Colección de Biología Marina
    • Fotos de la Universidad
    • Mapa del Campus
    • Tour Por la Universidad
      • Administración Central
      • Entrada Peatonal
      • Biblioteca
      • Restaurante Universitario
      • Edificio del CREE
      • Entorno Natural
        • Lago
        • Para Estudiar
      • Facultad de Ciencias
      • Plazoleta de Ingenierías
      • Sede San Fernando
      • Torre de ingenierías
      • Vida U
        • Cuenteros
        • Descanso
        • Entretenimiento
      • Video Clip
      • Vista Área Campus Meléndez
    • Normatividad
    • Proyecto institucional
    • Horarios de Atención
  • Estudia en Univalle
    • Pregrado
    • Posgrado
    • Diplomados
    • Cursos y Talleres
  • Sedes Regionales
    • Tuluá
    • Buga
    • Caicedonia
    • Cartago
    • Norte del Cauca
    • Pacífico
    • Palmira
    • Yumbo
    • Zarzal
    • Regionalización
  • Investigación
    • Quiénes somos
    • Servicios, formatos y recursos
    • Programas estratégicos
      • Investigación, innovación y creación
      • Investigación inter, transdisciplinaria e interinstitucional
      • Desarrollo y Fortalecimiento de Centros e Institutos
      • Universidad - Empresa - Estado
      • Sistema de laboratorios
      • Internacionalización
  • Internacionalización
    • Quiénes somos
    • Movilidad Internacional
    • Cooperación Internacional
    • Convocatorias
    • Facultad de Salud
    • Nuestro equipo
  • Publicaciones
  • Campus Virtual
  • Inicio
  • La Universidad
    • Consejo Superior
    • Consejo Académico
    • Rectoría
      • La rectoría
        • Discursos del rector
        • Informes de Gestión
        • Informes del Rector al Consejo Superior
        • Rectores de la Universidad del Valle
        • Resoluciones de rectoría
      • Secretaria General
      • Direccion de Regionalización
      • Oficina de Control Interno
        • Introducción
        • ¿Qué es la oficina de Control Interno?
        • Comité de coordinación
        • Funcionarios
        • Normas que nos rigen
        • Informes de Control Interno
        • Entes Reguladores
      • Oficina de Planeación y Desarrollo Institucional
      • Oficina de Informática y Telecomunicaciones
      • Oficina Jurídica
      • Oficina de Comunicaciones
        • Introducción
        • Agencia de Noticias
        • Ceremonia de grados
    • Nuestros Símbolos
      • Himno
      • Logosímbolo
      • Bandera
      • Manual de Identidad Visual Corporativa
      • Normas de Diseño de Páginas Web
    • Acerca de Univalle
      • Misión
      • Visión
      • Organigrama
      • Nombre
      • Rectores
      • Administración central
      • Ubicación
      • Convenios
      • Estados financieros
      • Potencial Investigativo
      • Instituciones Relacionadas
      • Entes de Control
      • Video Institucional
    • Dependencias
      • Vicerrectorías
        • Académica
        • Administrativa
        • Bienestar Universitario
        • Investigaciones
        • Vicerrectoría Académica
      • Facultades
        • Artes Integradas
        • Ciencias Naturales y Exactas
        • Ciencias de la Administración
        • Salud
        • Ciencias Sociales y Económicas
        • Humanidades
        • Ingeniería
      • Institutos
        • Educación y Pedagogía
        • Psicología
      • Escuelas
        • Arquitectura
        • Ciencias Básicas
        • Comunicación social
        • Bacteriología y Laboratorio Clínico
        • Ciencias del Lenguaje
        • Comunicación social
        • Enfermería
        • Estadística
        • Estudios Literarios
        • Ingeniería Civil y Geomática
        • Ingeniería de Alimentos
        • Ingeniería de Materiales
        • Ingeniería de Recursos Naturales y del Ambiente
        • Ingeniería de Sistemas y Computación
        • Ingeniería Eléctrica y Electrónica
        • Ingeniería Industrial
        • Ingeniería Mecánica
        • Ingeniería Química
        • Medicina
        • Odontología
        • Música
        • Rehabilitación Humana
        • Salud Pública
        • Trabajo Social y Desarrollo Humano
      • Departamentos
        • Artes Escénicas
        • Artes Visuales y Estética
        • Biología
        • Ciencias Sociales
        • Diseño
        • Dirección y Gestión Administrativa
        • Economía
        • Filosofía
        • Física
        • Geografía
        • Historia
        • Matemáticas
        • Medicina Interna
        • Procesos, Información, Contabilidad y Finanzas
        • Química
    • Museos y Colecciones
      • Museo Arqueológico
      • Insectario: Colección de Entomología
      • Herbario CUVC
      • Colección de Zoología
      • Colección de Biología Marina
    • Fotos de la Universidad
    • Mapa del Campus
    • Tour Por la Universidad
      • Administración Central
      • Entrada Peatonal
      • Biblioteca
      • Restaurante Universitario
      • Edificio del CREE
      • Entorno Natural
        • Lago
        • Para Estudiar
      • Facultad de Ciencias
      • Plazoleta de Ingenierías
      • Sede San Fernando
      • Torre de ingenierías
      • Vida U
        • Cuenteros
        • Descanso
        • Entretenimiento
      • Video Clip
      • Vista Área Campus Meléndez
    • Normatividad
    • Proyecto institucional
    • Horarios de Atención
  • Estudia en Univalle
    • Pregrado
    • Posgrado
    • Diplomados
    • Cursos y Talleres
  • Sedes Regionales
    • Tuluá
    • Buga
    • Caicedonia
    • Cartago
    • Norte del Cauca
    • Pacífico
    • Palmira
    • Yumbo
    • Zarzal
    • Regionalización
  • Investigación
    • Quiénes somos
    • Servicios, formatos y recursos
    • Programas estratégicos
      • Investigación, innovación y creación
      • Investigación inter, transdisciplinaria e interinstitucional
      • Desarrollo y Fortalecimiento de Centros e Institutos
      • Universidad - Empresa - Estado
      • Sistema de laboratorios
      • Internacionalización
  • Internacionalización
    • Quiénes somos
    • Movilidad Internacional
    • Cooperación Internacional
    • Convocatorias
    • Facultad de Salud
    • Nuestro equipo
  • Publicaciones
  • Campus Virtual
  • English 
    • español
    • English
  • Login

Biblioteca digital

  • Comunities
  • Authors
  • Titles
  • Dates
  • Subjects
  • Investigación
  • Medios didácticos
  • Memoria institucional
  • Producción editorial
View Item 
  •   DSpace Home
  • Patrimonio Documental Universidad del Valle
  • Revistas
  • Ingeniería y Competitividad
  • View Item
  •   DSpace Home
  • Patrimonio Documental Universidad del Valle
  • Revistas
  • Ingeniería y Competitividad
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Cambiar vista

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsResource TypeThis CollectionBy Issue DateAuthorsTitlesSubjectsResource Type

My Account

LoginRegister

Statistics

View Usage Statistics

On decidability properties of two fragments of the asynchronous π-calculus.


Cita

Cómo citar

Cómo citar

Thumbnail

Thumbnail

Gestores Bibliograficos

Exportar a Bibtex

Exportar a RIS

Exportar a Excel

Buscar en google Schoolar

Buscar en microsoft academic

untranslated

Código QR

Aranda Bueno, Jesús Alexander

Artículo de revista

ExpresividadBuscar en Metarevistas
DivergenciaBuscar en Metarevistas
ConvergenciaBuscar en Metarevistas
Cálculos de procesosBuscar en Metarevistas

2014-03-28

In (Cacciagrano, et al., 2008) the authors studied the expressiveness of persistence in the asynchronous π-calculus, henceforth Aπ. They considered Aπ and three sub-languages of it, each capturing one source of persistence: the persistent-input calculus (PIAπ), the persistent-output calculus (POAπ), and the persistent calculus (PAπ). They prove that, under some general conditions, there cannot be an encoding from Aπ into a (semi)-persistent calculus preserving the must-testing semantics, a semantics sensitive to divergence. In this paper we support and strengthen the separation results of (Cacciagrano, et al., 2008) by showing that convergence and divergence are two decidable properties in a fragment of POAπ and PAπ, in contrast to what happen in Aπ. Thus, it is shown that there cannot be a (computable) encoding from Aπ into PAπ and in such a fragment of POAπ, preserving divergence or convergence. These impossibility results don’t presuppose any condition on the encodings and involve directly convergence for first time in the study of the expressiveness of persistence of .
 
En (Cacciagrano, et al., 2008) se estudió la expresividad de la persistencia en el π-cálculo asincrónico, Aπ. Endicho artículo, los autores consideraron Aπ y tres de sus fragmentos, cada uno de ellos capturando una fuente depersistencia: el fragmento con entradas persistentes (PIAπ), el fragmento con salidas persistentes (POAπ), y elfragmento con tanto entradas como salidas persistentes (PAπ). Ellos demostraron que, bajo ciertas condicionesgenerales, no puede existir una codificación desde Aπ en alguno de sus fragmentos preservando la semántica musttesting,una semántica sensible a la divergencia.En este artículo se ratifican y fortalecen los resultados de separación de (Cacciagrano, et al., 2008) mostrandoque tanto convergencia como divergencia son propiedades decidibles en un fragmento significativo de POAπ yen PAπ., a diferencia de lo que sucede en Aπ. Así, se establece formalmente la no existencia de una codificación(decidable) de Aπ en PAπ o en el fragmento de POAπ, preservando divergencia y convergencia. Estos resultadosde separación no requieren de ninguna condición específica sobre las codificaciones e involucran directamenteconvergencia por primera vez en el estudio de la persistencia de Aπ.
 

English

http://hdl.handle.net/10893/7166

  • Ingeniería y Competitividad [522]

Descripción: On decidability properties.pdf
Título: On decidability properties.pdf
Tamaño: 424.8Kb

Unicordoba LogoPDFArchivo de acceso abiertoFLIPLEER EN FLIP

Show full item record

Envíos recientes

    No hay artículos recientes
Image
Image
Image
Image
Image
Image
Image
‹›
  • Biblioteca Mario Carvajalbiblioteca@univalle.edu.coTeléfonos +57 2 3212950 - Fax 3212977Universidad del Valle - Ciudad UniversitariaCalle 13 # 100-00Cali, Colombia
  • Biblioteca San Fernandobiblioteca@univalle.edu.coTeléfonos +57 2 5185633 - Fax 558195Universidad del Valle - Sede San FernandoCalle 4a.B # 36-000Cali, Colombia
  • Biblioteca Colección Clínicabiblioteca@univalle.edu.coTeléfonos +57 2 5576113Hospital Universitario del ValleCalle 5a # 36-08Cali, Colombia
Sistema DSPACE - Metabiblioteca | Metabiblioteca