TY  - CPAPER
AU  - Durán, Francisco
AU  - Eker, Steven
AU  - Escobar, Santiago
AU  - Martí Oliet, Narciso
AU  - Rubio Cuéllar, Rubén Rafael
AU  - Talcott, Carolyn
A2  - Bruni, Alessandro
A2  - Momigliano, Alberto
A2  - Pradella, Matteo
A2  - Rossi, Matteo
PY  - 2024
DO  - 10.1145/3678232.3678237
UR  - https://hdl.handle.net/20.500.14352/113290
AB  - Maude is a high-performance logical framework based on rewriting logic and supporting formal specification, verification and declarative programming of concurrent systems. Since most concurrent open systems are made up of actor-like objects that...
LA  - eng
M2  - 7:1
KW  - Maude
KW  - Rewriting logic
KW  - Open systems
TI  - Programming Open Distributed Systems in Maude
TY  - conference paper
ER  -