A useful way of presenting a new language is by means of complete examples that show the language features in action. In this paper we do so for the Mobile Maude language, an extension of Maude that supports mobile computation. We implement an ambitious wide area application, namely a conference reviewing system, an example described by Cardelli as a challenge for any wide area language to demonstrate its usability.
Key words
Wide area languages
mobile computation
mobile agents
Mobile Maude
Cited by (0)
Research supported by projects TIC2000-0701-C02-01 and TIC2001-2705-C03-02.