TY  - JOUR
AU  - Durán, Francisco
AU  - Verdejo López, José Alberto
PY  - 2002
UR  - https://hdl.handle.net/20.500.14352/60345
T2  - Technical report
AB  - A useful way of presenting a new language is by means of complete examples that show thelanguage features in action. In this paper we do so for the Mobile Maude language, an extensionof Maude that suports mobile computation. We implement an ambitious...
LA  - eng
M2  - 1
KW  - Mobile Maude
KW  - specification languages for mobile objects
KW  - conference reviewing system.
TI  - Cardelli’s Challenge in Mobile Maude: A Conference Reviewing System
TY  - journal article
VL  - 124-02
ER  -