Programming Open Distributed Systems in Maude.

Francisco Durn, Steven Eker, Santiago Escobar, Narciso Mart-Oliet, Jos Meseguer, Rubn Rubio, Carolyn L. Talcott

Browse the full PPDP paper archive.