Programming Open Distributed Systems in Maude

Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn Talcott

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Fingerprint

Dive into the research topics of 'Programming Open Distributed Systems in Maude'. Together they form a unique fingerprint.

Computer Science

Keyphrases