Asynchonous distributed components: concurrency and determinacy
- Autores
- Caromel, Denis; Henrio, Ludovic
- Año de publicación
- 2006
- Idioma
- inglés
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- 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.
4th IFIP International Conference on Theoretical Computer Science
Red de Universidades con Carreras en Informática (RedUNCI) - Materia
-
Ciencias Informáticas
ASP (Asynchronous Sequential Processes)
Distributed applications - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
- Repositorio
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/24395
Ver los metadatos del registro completo
id |
SEDICI_441b9993cd0d160c8c27017227ccd71f |
---|---|
oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/24395 |
network_acronym_str |
SEDICI |
repository_id_str |
1329 |
network_name_str |
SEDICI (UNLP) |
spelling |
Asynchonous distributed components: concurrency and determinacyCaromel, DenisHenrio, LudovicCiencias InformáticasASP (Asynchronous Sequential Processes)Distributed applicationsBased 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.4th IFIP International Conference on Theoretical Computer ScienceRed de Universidades con Carreras en Informática (RedUNCI)2006-08info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/24395enginfo:eu-repo/semantics/altIdentifier/isbn/0-387-34633-3info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T10:55:50Zoai:sedici.unlp.edu.ar:10915/24395Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 10:55:50.983SEDICI (UNLP) - Universidad Nacional de La Platafalse |
dc.title.none.fl_str_mv |
Asynchonous distributed components: concurrency and determinacy |
title |
Asynchonous distributed components: concurrency and determinacy |
spellingShingle |
Asynchonous distributed components: concurrency and determinacy Caromel, Denis Ciencias Informáticas ASP (Asynchronous Sequential Processes) Distributed applications |
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 |
dc.creator.none.fl_str_mv |
Caromel, Denis Henrio, Ludovic |
author |
Caromel, Denis |
author_facet |
Caromel, Denis Henrio, Ludovic |
author_role |
author |
author2 |
Henrio, Ludovic |
author2_role |
author |
dc.subject.none.fl_str_mv |
Ciencias Informáticas ASP (Asynchronous Sequential Processes) Distributed applications |
topic |
Ciencias Informáticas ASP (Asynchronous Sequential Processes) Distributed applications |
dc.description.none.fl_txt_mv |
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. 4th IFIP International Conference on Theoretical Computer Science Red de Universidades con Carreras en Informática (RedUNCI) |
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. |
publishDate |
2006 |
dc.date.none.fl_str_mv |
2006-08 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/conferenceObject info:eu-repo/semantics/publishedVersion Objeto de conferencia http://purl.org/coar/resource_type/c_5794 info:ar-repo/semantics/documentoDeConferencia |
format |
conferenceObject |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
http://sedici.unlp.edu.ar/handle/10915/24395 |
url |
http://sedici.unlp.edu.ar/handle/10915/24395 |
dc.language.none.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
info:eu-repo/semantics/altIdentifier/isbn/0-387-34633-3 |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
dc.format.none.fl_str_mv |
application/pdf |
dc.source.none.fl_str_mv |
reponame:SEDICI (UNLP) instname:Universidad Nacional de La Plata instacron:UNLP |
reponame_str |
SEDICI (UNLP) |
collection |
SEDICI (UNLP) |
instname_str |
Universidad Nacional de La Plata |
instacron_str |
UNLP |
institution |
UNLP |
repository.name.fl_str_mv |
SEDICI (UNLP) - Universidad Nacional de La Plata |
repository.mail.fl_str_mv |
alira@sedici.unlp.edu.ar |
_version_ |
1844615818064691200 |
score |
13.070432 |