A Conference Reviewing System in Mobile Maude

https://doi.org/10.1016/S1571-0661(05)82532-0Get rights and content
Under a Creative Commons license
open access

Abstract

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.