1 paper
Farid Arfi, Hélène Coullon, Frédéric Loulergue +2
We propose an overview of the decentralized reconfiguration language Concerto-D through its Maude formalization. Concerto-D extends the already published Concerto language. Concert…