CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishCHARM (for concurrency and hiding in an abstract rewriting machine) is an abstract machine which allows one to model naturally the behavior of distributed systems consisting of a collection of processes-sharing variables. CHARM is equipped with a clean operational semantics based on term rewriting over a suitable algebra, and it exhibits a sophisticated treatment of concurrency and modularity, which is obtained through the partition of each state into a global and a local part. To show the expressiveness and generality of this abstract machine, three relevant computational formalisms are mapped onto the CHARM framework: graph grammars, concurrent constraint programming, and place/transition Petri nets.
| Autori interni: | |
| Autori: | Corradini A; Montanari U; Rossi F |
| Titolo: | An Abstract Machine for Concurrent Modular Systems: CHARM |
| Anno del prodotto: | 1994 |
| Digital Object Identifier (DOI): | 10.1016/0304-3975(94)90206-2 |
| Appare nelle tipologie: | 1.1 Articolo in rivista |
File in questo prodotto:
http://hdl.handle.net/11568/201563
Copyright © 2020