Asynchonous distributed components: concurrency and determinacy

Caromel, Denis et al · SEDICI UNLP · 2006

Open-access full text

Quick overview. Review the resource’s basic details, then access the content using the main button. This page shows only the information needed to identify, cite, and open the work.

Author / responsible party

Caromel, Denis et al

Publisher

SEDICI UNLP

Year

2006

Language

English

Resource access

Open the content from the main option or choose another available source.

SEDICI UNLP SEDICI UNLP OAI-PMH

Entrar por SEDICI UNLP

Main access

Open-access full text

Texto completo identificado como acceso abierto.

Open text

Summary

Descripción general del contenido del recurso.

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)

How to cite

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Caromel, D. E. A. (2006). Asynchonous distributed components: concurrency and determinacy. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/24395

MLA

Caromel, Denis et al. Asynchonous distributed components: concurrency and determinacy. SEDICI UNLP, 2006. http://sedici.unlp.edu.ar/handle/10915/24395.

Chicago

Caromel, Denis et al. 2006. Asynchonous distributed components: concurrency and determinacy. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/24395.

Harvard

Caromel, D. E. A. 2006, Asynchonous distributed components: concurrency and determinacy, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/24395 [Accessed 7 Aug. 2026].

Share and print

Save the record, copy its permanent link, or print it as a PDF.

Export reference

You can export the record in common formats for use in a reference manager.

RIS BibTeX

Resource details

Bibliographic information to help confirm that this is the correct material.

Title: Asynchonous distributed components: concurrency and determinacy

Author / contributors: Caromel, Denis et al

Publisher: SEDICI UNLP

Publication year: 2006

Language: English

Subjects

Explore related resources through these subjects.

Ciencias Informáticas; ASP (Asynchronous Sequential Processes); Distributed applications