News Help Institutional access
Back to results
Bibliographic record · Consultation and access
Artículo

Compositional synthesis of distributed system components based on augmented marked graphs

Cheung, K. S · SEDICI UNLP · 2008

Supplementary material available
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
Cheung, K. S
Publisher
SEDICI UNLP
Year
2008
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

Supplementary material available

El enlace apunta a material asociado, anexos, tablas, datos o página complementaria. No se marca como libro/texto completo.
Open material

Summary

Descripción general del contenido del recurso.

Augmented marked graphs possess a special structure for modelling common resources as well as some desirable properties pertaining to liveness, boundedness, reversibility and conservativeness. This paper investigates the property-preserving composition of augmented marked graphs for the synthesis of distributed systems. It is proposed that distributed system components are specified as augmented marked graphs. An integrated system is obtained by composing these augmented marked graphs via their common resource places. Based on preservation of properties, liveness, boundedness, reversibility and conservativeness of the system can be readily derived. This contributes to resolve the problem of ensuring design correctness in the composition of distributed system components. Facultad de Informática

How to cite

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

APA 7

Cheung, K. S. (2008). Compositional synthesis of distributed system components based on augmented marked graphs. http://sedici.unlp.edu.ar/handle/10915/9621

MLA

Cheung, K. S. "Compositional synthesis of distributed system components based on augmented marked graphs." 2008. http://sedici.unlp.edu.ar/handle/10915/9621.

Chicago

Cheung, K. S. 2008. "Compositional synthesis of distributed system components based on augmented marked graphs.". http://sedici.unlp.edu.ar/handle/10915/9621.

Harvard

Cheung, K. S. 2008, Compositional synthesis of distributed system components based on augmented marked graphs, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/9621 [Accessed 10 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
Compositional synthesis of distributed system components based on augmented marked graphs
Author / contributors
Cheung, K. S
Publisher
SEDICI UNLP
Publication year
2008
Language
English

Subjects

Explore related resources through these subjects.

Ciencias Informáticas; Petri nets; Distributed Systems
Copied