Compositional synthesis of distributed system components based on augmented marked graphs
Artículo
Material complementario disponible
Artículo
SEDICI UNLP
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...
Idioma en
Material complementario disponibleEl enlace apunta a material asociado, anexos, tablas, datos o página complementaria. No se marca como libro/texto completo.
Material complementario