Asynchonous distributed components: concurrency and determinacy

Based on the imp&-calculus, ASP (Asynchronous Sequential Processes) de nes distributed applications behaving deterministically. This article extends ASP by building hierarchical and asynchronous distributed components. Components are hierarchical - a composite can be built from other components...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Caromel, Denis, Henrio, Ludovic
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2006
Materias:
Ciencias Informáticas
ASP (Asynchronous Sequential Processes)
Distributed applications
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24395
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-24395
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
ASP (Asynchronous Sequential Processes)
Distributed applications
spellingShingle Ciencias Informáticas
ASP (Asynchronous Sequential Processes)
Distributed applications
Caromel, Denis
Henrio, Ludovic
Asynchonous distributed components: concurrency and determinacy
topic_facet Ciencias Informáticas
ASP (Asynchronous Sequential Processes)
Distributed applications
description Based on the imp&-calculus, ASP (Asynchronous Sequential Processes) de nes distributed applications behaving deterministically. This article extends ASP by building hierarchical and asynchronous distributed components. Components are hierarchical - a composite can be built from other components, and distributed - a composite can span over several machines. This article also shows how the asynchronous component model can be used to statically assert component determinism.
format Objeto de conferencia
Objeto de conferencia
author Caromel, Denis
Henrio, Ludovic
author_facet Caromel, Denis
Henrio, Ludovic
author_sort Caromel, Denis
title Asynchonous distributed components: concurrency and determinacy
title_short Asynchonous distributed components: concurrency and determinacy
title_full Asynchonous distributed components: concurrency and determinacy
title_fullStr Asynchonous distributed components: concurrency and determinacy
title_full_unstemmed Asynchonous distributed components: concurrency and determinacy
title_sort asynchonous distributed components: concurrency and determinacy
publishDate 2006
url http://sedici.unlp.edu.ar/handle/10915/24395
work_keys_str_mv AT caromeldenis asynchonousdistributedcomponentsconcurrencyanddeterminacy
AT henrioludovic asynchonousdistributedcomponentsconcurrencyanddeterminacy
bdutipo_str Repositorios
_version_ 1764820467056640000

Ejemplares similares