TY  - RPRT
TI  - An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization
AU  - Farid Arfi
AU  - Hélène Coullon
AU  - Frédéric Loulergue
AU  - Jolan Philippe
AU  - Simon Robillard
PY  - 2024
DO  - 10.4204/eptcs.414.2
UR  - https://arxiv.org/abs/2412.08233
ID  - 2412.08233
ER  -